473 search results - page 58 / 95 » On the Performance of Commit-Time-Locking Based Software Tra... |
145
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: In recent years, the demand for computational power in computational biology has increased due to rapidly growing data sets from microarray and other high-throughput t...
129
Voted
POPL
2010
ACM
16 years 26 days ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
134
click to vote
CODES
2008
IEEE
15 years 3 months ago
2008
IEEE
With power becoming a major constraint for multi-processor embedded systems, it is becoming important for designers to characterize and model processor power dissipation. It is cr...
141
Voted
ISPASS
2007
IEEE
15 years 9 months ago
2007
IEEE
The ongoing trend of increasing computer hardware and software complexity has resulted in the increase in complexity and overheads of cycle-accurate processor system simulation, e...
135
Voted
RTAS
2009
IEEE
15 years 10 months ago
2009
IEEE
QeDB is a database for data-intensive real-time applications running on flash memory-based embedded systems. Currently, databases for embedded systems are best effort, providing ...