181 search results - page 5 / 37 » A Mechanism for Verifying Data Speculation |
PLDI
2012
ACM
11 years 9 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
CODES
2008
IEEE
14 years 1 months ago
2008
IEEE
Instruction set extensions (ISEs) can accelerate embedded processor performance. Many algorithms for ISE generation have shown good potential; some of them have recently been expa...
MICRO
2003
IEEE
14 years 20 days ago
2003
IEEE
With increasing clock frequencies and silicon integration, power aware computing has become a critical concern in the design of embedded processors and systems-on-chip. One of the...
CF
2006
ACM
14 years 1 months ago
2006
ACM
There is a continuous research effort devoted to overcome the memory wall problem. Prefetching is one of the most frequently used techniques. A prefetch mechanism anticipates the ...
FGCN
2008
IEEE
14 years 1 months ago
2008
IEEE
Many applications in vehicular networks need the data to be disseminated from a source vehicle to a large number of vehicles in the network. Although many solutions to this proble...