5228 search results - page 911 / 1046 » Case Studies for Software Engineers |
113
click to vote
CHB
2011
14 years 5 months ago
2011
Admittedly this is a presumptuous title that should never be used when reporting on individual research advances. Wisdom is just not a scientific concept. In this case, though, w...
124
click to vote
ARCS
2010
Springer
15 years 8 months ago
2010
Springer
This paper describes how a superscalar in-order processor must be modified to support Simultaneous Multithreading (SMT) such that time-predictability is preserved for hard real-ti...
117
click to vote
FSTTCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
122
Voted
FSTTCS
2004
Springer
15 years 7 months ago
2004
Springer
A self-stabilizing distributed protocol can recover from any state-corrupting fault. A self-stabilizing protocol is called adaptive if its recovery time is proportional to the numb...
124
click to vote
GLVLSI
1998
IEEE
15 years 5 months ago
1998
IEEE
With the increased clock frequency of modern, high-performance processors over 500 MHz, in some cases, limiting the power dissipation has become the most stringent design target. ...