3779 search results - page 659 / 756 » Linear Consistency Testing |
114
click to vote
VLSID
2005
IEEE
16 years 3 months ago
2005
IEEE
Modern digital circuits consist of logic gates implemented in the complementary metal oxide semiconductor (CMOS) technology. The time taken for a logic gate output to change after...
159
Voted
RECOMB
2005
Springer
16 years 3 months ago
2005
Springer
Transcriptional regulation is accomplished by several transcription factor proteins that bind to specific DNA elements in the relative vicinity of the gene, and interact with each ...
121
click to vote
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Often, independent organizations define and advocate different XML formats for a similar purpose and, as a result, application programs need to mutually convert between such forma...
118
click to vote
MOBIHOC
2003
ACM
16 years 2 months ago
2003
ACM
In this paper, we address the problem of energy-conscious cache placement in wireless ad hoc networks. We consider a network comprising a server with an interface to the wired net...
166
click to vote
PLDI
2010
ACM
16 years 21 days ago
2010
ACM
Data races indicate serious concurrency bugs such as order, atomicity, and sequential consistency violations. Races are difficult to find and fix, often manifesting only in deploy...