861 search results - page 136 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
126
click to vote
DAC
2003
ACM
15 years 7 months ago
2003
ACM
This paper describes a low-power design methodology for a bus architecture based on hybrid current/voltage mode signaling for deep sub-micrometer on-chip interconnects that achiev...
137
Voted
CSCW
2006
ACM
15 years 4 months ago
2006
ACM
Code management systems like Concurrent Version System (CVS) can play an important role in supporting coordination in software development, but often at some time removed from ori...
118
Voted
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...
156
Voted
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
228
Voted
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
Future processors are expected to observe increasing rates of hardware faults. Using Dual-Modular Redundancy (DMR), two cores of a multicore can be loosely coupled to redundantly ...