8496 search results - page 1539 / 1700 » Problem Solving and Complex Systems |
140
click to vote
SCP
2010
15 years 25 days ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
148
click to vote
CASES
2010
ACM
15 years 14 days ago
2010
ACM
The performance of most embedded systems is critically dependent on the memory hierarchy performance. In particular, higher cache hit rate can provide significant performance boos...
135
click to vote
VLSID
2008
IEEE
16 years 2 months ago
2008
IEEE
Today's feature-rich multimedia products require embedded system solution with complex System-on-Chip (SoC) to meet market expectations of high performance at a low cost and l...
127
click to vote
OSDI
2002
ACM
16 years 2 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
131
click to vote
IEEEINTERACT
2002
IEEE
15 years 7 months ago
2002
IEEE
A dynamic optimizer is a software-based system that performs code modifications at runtime, and several such systems have been proposed over the past several years. These systems ...