Sciweavers

5244 search results - page 699 / 1049
» Structural Complexity of AvgBPP
Sort
View
DATE
2010
IEEE
163views Hardware» more  DATE 2010»
15 years 12 months ago
Optimizing equivalence checking for behavioral synthesis
Abstract—Behavioral synthesis is the compilation of an Electronic system-level (ESL) design into an RTL implementation. We present a suite of optimizations for equivalence checki...
Kecheng Hao, Fei Xie, Sandip Ray, Jin Yang
IICS
2001
Springer
15 years 11 months ago
Computer-Supported Deliberations for Distributed Teams
In our terminology, a “deliberation” is a distributed collaborative process, more or less spontaneous, structured, and complex. This process can include both individual and col...
Jacques Lonchamp, Fabrice Muller
PPAM
2001
Springer
15 years 11 months ago
Dedicated Scheduling of Biprocessor Tasks to Minimize Mean Flow Time
Abstract. This paper investigates the complexity of scheduling biprocessor tasks on dedicated processors to minimize mean flow time. Since the general problem is strongly NP-hard,...
Krzysztof Giaro, Marek Kubale, Michal Malafiejski,...
DCC
2000
IEEE
15 years 11 months ago
The Skip-Innovation Model for Sparse Images
On sparse images, contiguous runs of identical symbols often occur in the same coding context. This paper proposes a model for efficiently encoding such runs in a twodimensional s...
Paul J. Ausbeck Jr.
WOSP
2000
ACM
15 years 11 months ago
How system architectures impede interoperability
Interoperability problems arise when complex software systems are constructed by integrating distinct, and often heterogeneous, components. By performing interoperability analysis...
Leigh A. Davis, Jamie Payton, Rose F. Gamble