3028 search results - page 262 / 606 » Integrating Temporal Logics |
149
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
—To overcome the energy-efficiency limitations imposed by finite sub-threshold slope in CMOS transistors, this paper explores the design of integrated circuits based on nanoelect...
174
click to vote
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
This paper explores the architectural implications of integrating computation and molecular probes to form nanoscale sensor processors (nSP). We show how nSPs may enable new compu...
164
click to vote
BPM
2009
Springer
16 years 1 months ago
2009
Springer
Despite the increasing maturity of contemporary Workflow Management Systems (WfMS), there still exist numerous process-aware application systems with more or less hard-coded proce...
197
click to vote
ASAP
2008
IEEE
16 years 1 months ago
2008
IEEE
Many complex systems require the use of floating point arithmetic that is exceedingly time consuming to perform on personal computers. However, floating point operators are also h...
171
click to vote
IOLTS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Error correcting coding is the dominant technique to achieve acceptable soft-error rates in memory arrays. In many modern circuits, the number of memory elements in the random ...