5863 search results - page 195 / 1173 » An evaluation of the TRIPS computer system |
109
click to vote
ASAP
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper explores low-power reliable microarchitectures for addition. Power, speed, and reliability (both defect- and fault-tolerance) are important metrics of system design, sp...
112
click to vote
SP
2010
IEEE
15 years 5 months ago
2010
IEEE
The computer systems security arms race between attackers and defenders has largely taken place in the domain of software systems, but as hardware complexity and design processes ...
109
click to vote
FROCOS
2009
Springer
15 years 5 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
145
Voted
ASC
2004
15 years 1 months ago
2004
This paper proposes the applications of soft computing to deal with the constraints in conventional modelling techniques of the dynamic extrusion process. The proposed technique i...
140
click to vote
RTAS
2010
IEEE
15 years 9 days ago
2010
IEEE
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...