1024 search results - page 130 / 205 » High-Level Execution Time Analysis |
124
Voted
FMCAD
2004
Springer
15 years 4 months ago
2004
Springer
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
93
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
Three-dimensional (3-D) integrated circuits have emerged as promising candidates to overcome the interconnect bottlenecks of nanometer scale designs. While they offer several othe...
129
click to vote
LCN
2005
IEEE
15 years 6 months ago
2005
IEEE
— The problem of achieving fairness in the allocation of the bandwidth resource on a link shared by multiple flows of traffic has been extensively researched over the last deca...
123
Voted
WSC
2004
15 years 2 months ago
2004
Simulation and Emulation techniques are fundamental to aid the process of large-scale protocol design and network operations. However, the results from these techniques are often ...
126
click to vote
CUZA
2002
15 years 16 days ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...