1992 search results - page 93 / 399 » Memory modeling for system synthesis |
107
click to vote
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
Flash memory is a storage medium that is becoming more and more popular. Though not yet fully embraced in traditional computing systems, Flash memory is prevalent in embedded syst...
133
click to vote
DAC
2010
ACM
15 years 5 days ago
2010
ACM
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
100
click to vote
ISCA
1997
IEEE
15 years 5 months ago
1997
IEEE
Current microprocessors aggressively exploit instructionlevel parallelism (ILP) through techniques such as multiple issue, dynamic scheduling, and non-blocking reads. Recent work ...
140
click to vote
ASPLOS
1996
ACM
15 years 5 months ago
1996
ACM
On a distributed memory machine, hand-coded message passing leads to the most efficient execution, but it is difficult to use. Parallelizing compilers can approach the performance...
127
Voted
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper, we give an algorithm for fault-tolerant proactive leader election in asynchronous shared memory systems, and later its formal verification. Roughly speakin...