Sciweavers

5604 search results - page 35 / 1121
» Becoming Increasingly Reliable
Sort
View
CCE
2010
13 years 8 months ago
Teaching "operability" in undergraduate chemical engineering design education
: This paper presents a proposal for increased emphasis on operability in the Chemical Engineering capstone design courses. Operability becomes a natural aspect of the process desi...
Thomas E. Marlin
CORR
2011
Springer
216views Education» more  CORR 2011»
13 years 6 months ago
Approaches to Formal Verification of Security Protocols
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
Suvansh Lal, Mohit Jain, Vikrant Chaplot
ADAEUROPE
2010
Springer
14 years 3 months ago
What to Make of Multicore Processors for Reliable Real-Time Systems?
Now that multicore microprocessors have become a commodity, it is natural to think about employing them in all kinds of computing, including high-reliability embedded real-time sy...
Theodore P. Baker
JAIR
2007
103views more  JAIR 2007»
13 years 11 months ago
Obtaining Reliable Feedback for Sanctioning Reputation Mechanisms
Reputation mechanisms offer an effective alternative to verification authorities for building trust in electronic markets with moral hazard. Future clients guide their business...
Radu Jurca, Boi Faltings
ISCA
2005
IEEE
105views Hardware» more  ISCA 2005»
14 years 4 months ago
Exploiting Structural Duplication for Lifetime Reliability Enhancement
Increased power densities (and resultant temperatures) and other effects of device scaling are predicted to cause significant lifetime reliability problems in the near future. In...
Jayanth Srinivasan, Sarita V. Adve, Pradip Bose, J...