10870 search results - page 1855 / 2174 » Model Checking Programs |
204
click to vote
ISPASS
2008
IEEE
16 years 1 months ago
2008
IEEE
—The potential for improving the performance of data-intensive scientific programs by enhancing data reuse in cache is substantial because CPUs are significantly faster than me...
301
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—The multi-source and single-sink (MSSS) topology, in wireless sensor networks, is defined as the network topology, where all of nodes can gather, receive and transmit data to t...
197
click to vote
MICRO
2007
IEEE
16 years 1 months ago
2007
IEEE
The recent design shift towards multicore processors has spawned a significant amount of research in the area of program parallelization. The future abundance of cores on a singl...
169
click to vote
ISCA
2006
IEEE
16 years 23 days ago
2006
IEEE
Microprocessor design is undergoing a major paradigm shift towards multi-core designs, in anticipation that future performance gains will come from exploiting threadlevel parallel...
155
click to vote
ASPLOS
2006
ACM
16 years 21 days ago
2006
ACM
Growing on-chip wire delays are motivating architectural features that expose on-chip communication to the compiler. EDGE architectures are one example of communication-exposed mi...