首页>外文会议>Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing

Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing

召开年：1984
召开地：Washington(DC);Washington(DC)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Distributed elections in an archimedean ring of processors

机译：阿基米德处理机环中的分布式选举
- 作者：Paul M.B. Vitanyi;PPaul M.B. Vitanyi
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
2.Probabilistic temporal logics for finite and bounded models

机译：有限和有界模型的概率时态逻辑
- 作者：Sergiu Hart;Micha Sharir(
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
3.Polynomial factorization and nonrandomness of bits of algebraic and some transcendental numbers

机译：多项式因式分解和代数位和一些先验数的非随机性
- 作者：R. Kannan;A. K. Lenstra;L. Lovasz;PR. Kannan;PA. K. Lenstra;PL. Lovasz
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
4.Liveness properties as convergence in metric spaces

机译：活泼特性作为度量空间中的收敛
- 作者：Pierpaolo Degano;Ugo Montanari;PUgo Montanari
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
5.Transition logic

机译：过渡逻辑
- 作者：Rob Gerth;PRob Gerth
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
6.A simplex algorithm whose average number of steps is bounded between two quadratic functions of the smaller dimension

机译：一种单纯形算法，其平均步数限制在较小维度的两个二次函数之间
- 作者：Ilan Adler;Nimrod Megiddo;PNimrod Megiddo
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
7.Powers of graphs

机译：图的力量
- 作者：Dorit S. Hochbaum;David B. Shmoys
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
8.Determining equivalence of expressions in random polynomial time

机译：确定随机多项式中表达式的等价性
- 作者：Gaston H. Gonnet;PGaston H. Gonnet
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
9.Building a complete inverted file for a set of text files in linear time

机译：在线性时间内为一组文本文件构建完整的反向文件
- 作者：A. Blumer;J. Blumer;A. Ehrenfeucht;D. Haussler;R. McConnell;PA. Blumer;PA. Ehrenfeucht;PD. Haussler;PR. McConnell
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
10.Uniform definability on finite structures with successor

机译：具有后继体的有限结构的一致可定义性
- 作者：Michel de Rougemont
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
11.A general result on infinite trees and its applications

机译：无限树的一般结果及其应用
- 作者：David Harel;PDavid Harel
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
12.A theory of the learnable

机译：可学习的理论
- 作者：L. G. Valiant;PL. G. Valiant
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
13.Automata theoretic techniques for modal logics of programs

机译：程序模态逻辑的自动机理论技术
- 作者：Moshe Y. Vardi;Pierre Wolper;PPierre Wolper
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
14.Problems, complete in 'average' instance

机译：问题，在“平均”实例中完成
- 作者：Leonid A. Levin;PLeonid A. Levin
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
15.Threshold functions and bounded deptii monotone circuits

机译：阈值函数和有界的deptii单调电路
- 作者：Ravi B. Boppana;PRavi B. Boppana
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
16.The complexity of elementary algebra and geometry

机译：基本代数和几何的复杂性
- 作者：Michael Ben-Or;Dexter Kozen;John Reif;PMichael Ben-Or;PDexter Kozen
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
17.On finding the exact solution of a zero-one knapsack problem

机译：寻找零一背包问题的精确解
- 作者：A. V. Goldberg;A. Marchetti-Spaccamela;PA. V. Goldberg;PA. Marchetti-Spaccamela
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
18.Pebblings, edgings, and equational logic

机译：小题词，边缘和方程逻辑
- 作者：Dexter Kozen;PDexter Kozen
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
19.Average case selection

机译：平均案例选择
- 作者：Walter Cunto;J. Ian Munro;PWalter Cunto;PJ. Ian Munro
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
20.Finding small simple cycle separators for 2-connected planar graphs

机译：为2个连接的平面图找到小的简单周期分隔符
- 作者：Gary L. Miller;PGary L. Miller
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
21.Data structures for on-line updating of matroid intersection solutions

机译：用于类十字路口解决方案在线更新的数据结构
- 作者：Greg N. Frederickson;Mandayam A. Srinivas;PGreg N. Frederickson;PMandayam A. Srinivas
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
22.On tape versus core an application of space efficient perfect hash functions to the invariance of space

机译：在磁带与核心上，将空间高效的完美哈希函数应用于空间不变性
- 作者：C. Slot;P. van Emde Boas
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
23.Quadratic lower bounds for deterministic and nondeterministic one-tape turing machines

机译：确定性和不确定性一卷式磁带播放机的二次下界
- 作者：Wolfgang Maass;PWolfgang Maass
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
24.Digital disks and a digital compactness measure

机译：数字磁盘和数字压缩措施
- 作者：Chul E. Kim;Timothy A. Anderson;PChul E. Kim
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
- digital region;
25.Channel routing in VLSI

机译：VLSI中的通道路由
- 作者：A. Mirzaian
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
26.A minimum area VLSI network for O(logn) time sorting

机译：用于O（登录）时间排序的最小面积VLSI网络
- 作者：G. Bilardi;F. P. Preparata;PG. Bilardi;PF. P. Preparata
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
27.Tight bounds on the complexity of parallel sorting

机译：严格限制并行排序
- 作者：Tom Leighton;PTom Leighton
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
28.On the pagenumber of planar graphs

机译：在平面图的页码上
- 作者：Jonathan F. Buss;Peter W. Shor;PJonathan F. Buss;PPeter W. Shor
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
29.Lower bounds on communication complexity

机译：降低通信复杂性
- 作者：Pavol Duris;Zvi Galil;Georg Schnitger;PZvi Galil;PGeorg Schnitger
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
30.An area-maximum edge length tradeoff for VLSI layout

机译：VLSI布局的最大面积边长折衷
- 作者：Norbert Blum;PNorbert Blum
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
31.Minimum spanning ellipsoids

机译：最小跨度椭球
- 作者：Mark J. Post;PMark J. Post
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
32.Intersecting is easier than sorting

机译：相交比排序容易
- 作者：Bernard Chaselle
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
33.Scaling and related techniques for geometry problems

机译：几何问题的缩放和相关技术
- 作者：Harold N. Gabow;Jon Louis Bentley;Robert E. Tarjan;PHarold N. Gabow;PJon Louis Bentley;PRobert E. Tarjan
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
34.On shortest paths in polyhedral spaces

机译：在多面体空间中的最短路径上
- 作者：Micha Sharir(;Amir Schorr
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
35.On k-hulls and related problems

机译：关于k船体及相关问题
- 作者：Richard Cole;Micha Sharir;Chee K. Yap;PRichard Cole;PMicha Sharir;PChee K. Yap
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
36.An algorithm for constructing regions with rectangles

机译：用矩形构造区域的算法
- 作者：Deborah S. Franzblau;Daniel J. Kleitman
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
37.Factorization of polynomials over finite fields and factorization of primes in algebraic number fields

机译：有限域上多项式的因式分解和代数数域中素数的因式分解
- 作者：Ming-Deh A. Huang;PMing-Deh A. Huang
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
38.Sums of divisors, perfect numbers, and factoring

机译：除数，完美数和分解的和
- 作者：Eric Bach;Gary Miller;Jeffrey Shallit;PEric Bach;PGary Miller;PJeffrey Shallit
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
39.An efficient signature scheme based on quadratic equations

机译：基于二次方程的有效签名方案
- 作者：H. Ong;C. P. Schnorr;A. Shamir;PH. Ong;PC. P. Schnorr;PA. Shamir
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
40.Correcting faults in write-once memory

机译：纠正一次写入存储器中的错误
- 作者：Danny Dolev;David Maier;Ilarry Mairson;Jeffrey Ullman;PDanny Dolev;PDavid Maier;PJeffrey Ullman
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
41.On maintaining dynamic information in a concurrent environment

机译：在并发环境中维护动态信息
- 作者：Udi Manber;PUdi Manber
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
42.Fast expected-time and approximation algorithms for geometric minimum spanning trees

机译：几何最小生成树的快速预期时间和近似算法
- 作者：Kenneth L. Clarkson
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
43.Communication with secrecy constraints

机译：有保密限制的沟通
- 作者：Alon Orlitsky;Abbas El Gamal;PAlon Orlitsky
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
44.Randomized speed-ups in parallel computation

机译：并行计算中的随机加速
- 作者：Uzi Vishkin;PUzi Vishkin
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
45.Optimal parallel algorithms for string matching

机译：字符串匹配的最佳并行算法
- 作者：Zvi Galil*
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
46.Finding euler circuits in logarithmic parallel time

机译：在对数并行时间内找到欧拉电路
- 作者：B. Awerbuch;A. Israeli;Y. Shiloach;PB. Awerbuch;PA. Israeli;PY. Shiloach
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
47.A probabilistic relation between desirable and feasible, models of parallel computation

机译：理想与可行并行计算模型之间的概率关系
- 作者：Eli Upfal;PEli Upfal
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
48.A fast parallel algorithm for the maximal independent set problem

机译：用于最大独立集问题的快速并行算法
- 作者：Richard M. Karp;Avi Wigderson;PRichard M. Karp;PAvi Wigderson
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
49.Some unexpected expected behavior results for bin packing

机译：装箱时一些意外的预期行为结果
- 作者：J. L. Bentley;D. S. Johnson;F. T. Leighton;C. C. McGeoch;L. A. McGeoch;PJ. L. Bentley;PD. S. Johnson;PF. T. Leighton;PC. C. McGeoch;PL. A. McGeoch
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
50.A probabilistic analysis of multidimensional bin packing problems

机译：多维箱装箱问题的概率分析
- 作者：Richard M. Karp;Michael Luby;A. Marchetti-Spaccamela;PRichard M. Karp;PMichael Luby;PA. Marchetti-Spaccamela
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
51.Every poset has a good comparison

机译：每个姿势都有一个很好的比较
- 作者：Jeff Kahn;Michael Saks;PMichael Saks
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
52.A new polynomial-time algorithm for linear programming

机译：线性规划的一种新的多项式时间算法
- 作者：N. Karmarkar;PN. Karmarkar
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
53.On monotone formulae with restricted depth

机译：关于深度受限制的单调公式
- 作者：Maria Klawe;Wolfgang J. Paul;Nicholas Pippenger;Mihalis Yannakakis;PMaria Klawe;PWolfgang J. Paul;PNicholas Pippenger;PMihalis Yannakakis
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
54.Amortized efficiency of list update rules

机译：列表更新规则的摊销效率
- 作者：Daniel Dominic Sleator;Robert Endre Tarjan;PDaniel Dominic Sleator
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
55.Log-logarithmic protocols for resolving ethernet and semaphore conflicts

机译：用于解决以太网和信号量冲突的对数对数协议
- 作者：Dan E. Willard
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
56.An efficient network synchronization protocol

机译：高效的网络同步协议
- 作者：Baruch Awerbuch
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
57.The impact of synchronous communication on the problem of electing a leader in a ring

机译：同步通信对选举领导者的影响
- 作者：Greg N. Frederickson;Nancy A. Lynch;PGreg N. Frederickson
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
58.On the possibility and impossibility of achieving clock synchronization

机译：关于实现时钟同步的可能性和不可能
- 作者：Danny Dolev;Joe Halpern;H. Raymond Strong;PDanny Dolev;PJoe Halpern;PH. Raymond Strong
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
59.A new look at fault tolerant network routing

机译：容错网络路由的新观点
- 作者：Danny Dolev;Joe Halpern;Barbara Simons;Ray Strong;PDanny Dolev;PJoe Halpern;PBarbara Simons
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
60.Efficient fault tolerant routings in networks

机译：网络中的高效容错路由
- 作者：Andrei Broder;Michael Fischer;Danny Dolev;Barbara Simons;PMichael Fischer;PDanny Dolev;PBarbara Simons
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
61.Modelling fair processes

机译：为公平流程建模
- 作者：Matthew Hennessy;PMatthew Hennessy
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
62.Now you may compose temporal logic specifications

机译：现在您可以编写时间逻辑规范
- 作者：Howard Barringer;Ruurd Kuiper;Amir Pnueli;PHoward Barringer;PRuurd Kuiper;PAmir Pnueli
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
63.Evaluating logarithms in GF(2n)

机译：计算GF（2n）中的对数
- 作者：Don Coppersmith;PDon Coppersmith
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
64.Deciding branching time logic

机译：确定分支时间逻辑
- 作者：E. Allen Emerson;A. Prasad Sistla;PE. Allen Emerson;PA. Prasad Sistla
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
65.A theorem on probabilistic constant depth Computations

机译：关于概率恒定深度计算的一个定理
- 作者：Miklos Ajtai;Michael Ben-Or;PMichael Ben-Or
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年
66.Comparison of arithmetic functions with respect to boolean circuit depth

机译：关于布尔电路深度的算术函数比较
- 作者：Helmut Alt;PHelmut Alt
- 会议名称：《Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing》 | 1984年