2512 search results - page 329 / 503 » Software Transactional Memory |
158
click to vote
VLSI
2007
Springer
16 years 26 days ago
2007
Springer
— While physically driven synthesis techniques have proven to be an effective method to meet tight timing constraints required by a design, the incremental placement step during ...
173
click to vote
VMCAI
2007
Springer
16 years 26 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
166
click to vote
CODES
2005
IEEE
16 years 11 days ago
2005
IEEE
Code density is an important issue in memory constrained systems. Some RISC processor, e.g. the THUMB extension in the ARM processor, supports aggressive code size reduction even ...
166
click to vote
ADAEUROPE
2005
Springer
16 years 9 days ago
2005
Springer
This article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS...
186
click to vote
PASTE
2004
ACM
16 years 5 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...