Sciweavers

10848 search results - page 1890 / 2170
» Programming in Biomolecular Computation
Sort
View
ICPADS
2005
IEEE
16 years 7 days ago
Comparison of Software Reliability Assessment Methods for Open Source Software
: We propose software reliability assessment methods for concurrent distributed system development by using the Analytic Hierarchy Process. Also, we make a comparison between the i...
Yoshinobu Tamura, Shigeru Yamada
IEEEPACT
2005
IEEE
16 years 7 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 7 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 7 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 7 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
« Prev « First page 1890 / 2170 Last » Next »