Sciweavers

13271 search results - page 2377 / 2655
» Computers, Programming, and People
Sort
View
IEEEPACT
2005
IEEE
16 years 9 days ago
Future Execution: A Hardware Prefetching Technique for Chip Multiprocessors
This paper proposes a new hardware technique for using one core of a CMP to prefetch data for a thread running on another core. Our approach simply executes a copy of all non-cont...
Ilya Ganusov, Martin Burtscher
ISQED
2005
IEEE
125views Hardware» more  ISQED 2005»
16 years 9 days ago
A New Method for Design of Robust Digital Circuits
As technology continues to scale beyond 100nm, there is a significant increase in performance uncertainty of CMOS logic due to process and environmental variations. Traditional c...
Dinesh Patil, Sunghee Yun, Seung-Jean Kim, Alvin C...
IWPSE
2005
IEEE
16 years 9 days ago
Languages evolve too! Changing the Software Time Scale
Humans will have to live with software for a long time. As demonstrated by the Y2K problem, computer professionals used a wrong time scale when thinking about software. Large soft...
Jean-Marie Favre
LICS
2005
IEEE
16 years 9 days ago
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
Patrice Godefroid, Michael Huth
MMM
2005
Springer
115views Multimedia» more  MMM 2005»
16 years 9 days ago
Interoperability and Multimedia Archives
In distributed computing systems, it is unwise to move data to the point of program code, but instead process data at the point of storage. This concept is even more appropriate t...
Dalen Kambur, Damir Becarevic, Mark Roantree
« Prev « First page 2377 / 2655 Last » Next »