Sciweavers

367 search results - page 21 / 74
» Using the Experimental Method to Produce Reliable Self-Organ...
Sort
View
ICFEM
1997
Springer
15 years 1 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
ICCAD
2006
IEEE
108views Hardware» more  ICCAD 2006»
15 years 6 months ago
Soft error reduction in combinational logic using gate resizing and flipflop selection
Soft errors in logic are emerging as a significant reliability problem for VLSI designs. This paper presents novel circuit optimization techniques to mitigate soft error rates (SE...
Rajeev R. Rao, David Blaauw, Dennis Sylvester
ICMCS
2000
IEEE
116views Multimedia» more  ICMCS 2000»
15 years 2 months ago
Non-linear Relevance Feedback: Improving the Performance of Content-Based Retrieval Systems
In this paper, a non-linear relevance feedback mechanism is proposed for increasing the performance and the reliability of content-based retrieval systems. In particular, the huma...
Nikolaos D. Doulamis, Anastasios D. Doulamis, Stef...
EUROPAR
2009
Springer
15 years 4 months ago
PSPIKE: A Parallel Hybrid Sparse Linear System Solver
The availability of large-scale computing platforms comprised of tens of thousands of multicore processors motivates the need for the next generation of highly scalable sparse line...
Murat Manguoglu, Ahmed H. Sameh, Olaf Schenk
SIGSOFT
2010
ACM
14 years 7 months ago
Combining hardware and software instrumentation to classify program executions
Several research efforts have studied ways to infer properties of software systems from program spectra gathered from the running systems, usually with software-level instrumentat...
Cemal Yilmaz, Adam A. Porter