Sciweavers

2236 search results - page 296 / 448
» Language Independence and Language Tolerance in Logic Progra...
Sort
View
ICALP
2001
Springer
15 years 9 months ago
Improved Lower Bounds on the Randomized Complexity of Graph Properties
We prove a lower bound of (n4/3 log1/3 n) on the randomized decision tree complexity of any nontrivial monotone n-vertex graph property, and of any nontrivial monotone bipartite g...
Amit Chakrabarti, Subhash Khot
IFIP
1999
Springer
15 years 8 months ago
A Synthesis Algorithm for Modular Design of Pipelined Circuits
: This paper presents a synthesis algorithm for pipelined circuits. The circuit is specified as a collection of independent, looselycoupled modules connected by queues. The synthe...
Maria-Cristina V. Marinescu, Martin C. Rinard
IFIP
1997
Springer
15 years 8 months ago
Measurement-based CAC for video applications using SBR service
This paper provides a conservative estimation of the required bandwidth for video sources multiplexed according to the bu erless scheme and using the Statistical Bit Rate transfer...
F. Brichet, Alan Simonian
113
Voted
ICALP
1993
Springer
15 years 8 months ago
Sparse Networks Supporting Efficient Reliable Broadcasting
Broadcasting concerns transmitting information from a node of a communication network to all other nodes. We consider this problem assuming that links and nodes of the network fail...
Bogdan S. Chlebus, Krzysztof Diks, Andrzej Pelc
ICALP
2000
Springer
15 years 8 months ago
Parallel Machine Scheduling Problems with Controllable Processing Times
We consider the problem of scheduling n independent jobs on m identical machines that operate in parallel. Each job has a controllable processing time. The fact that the jobs have...
Klaus Jansen, Monaldo Mastrolilli