7109 search results - page 1318 / 1422 » Process Algebra with Combinators |
135
click to vote
ICCAD
2007
IEEE
16 years 28 days ago
2007
IEEE
— Starting at the 65nm node, stress engineering to improve performance of transistors has been a major industry focus. An intrinsic stress source – shallow trench isolation –...
140
click to vote
ICCAD
2003
IEEE
16 years 28 days ago
2003
IEEE
DNA probe arrays have emerged as a core genomic technology that enables cost-effective gene expression monitoring, mutation detection, single nucleotide polymorphism analysis and ...
124
click to vote
ICCAD
2001
IEEE
16 years 27 days ago
2001
IEEE
We present a two-level Boolean minimization tool (BOOM) based on a new implicant generation paradigm. In contrast to all previous minimization methods, where the implicants are ge...
141
click to vote
SOSP
2003
ACM
16 years 27 days ago
2003
ACM
We describe a new architecture for Byzantine fault tolerant state machine replication that separates agreement that orders requests from execution that processes requests. This se...
149
Voted
SOSP
2005
ACM
16 years 27 days ago
2005
ACM
Energy consumption has become an important issue in high-end data centers, and disk arrays are one of the largest energy consumers within them. Although several attempts have been...