5269 search results - page 676 / 1054 » order 2007 |
205
click to vote
VLSID
2007
IEEE
16 years 8 months ago
2007
IEEE
Crosstalk noise in the clock network of digital circuits is often detected late in the design cycle, sometimes as late as after first silicon. It is therefore necessary to fix cros...
183
click to vote
HPCA
2007
IEEE
16 years 8 months ago
2007
IEEE
A thread executing on a simultaneous multithreading (SMT) processor that experiences a long-latency load will eventually stall while holding execution resources. Existing long-lat...
312
click to vote
POPL
2007
ACM
16 years 8 months ago
2007
ACM
An asynchronous program is one that contains procedure calls which are not immediately executed from the callsite, but stored and "dispatched" in a non-deterministic ord...
207
click to vote
RECOMB
2007
Springer
16 years 8 months ago
2007
Springer
A centromere is a special region in the chromosome that plays a vital role during cell division. Every new chromosome created by a genome rearrangement event must have a centromere...
176
click to vote
CADE
2007
Springer
16 years 8 months ago
2007
Springer
Abstract. Inductive definitions and rule inductions are two fundamental reasoning tools in logic and computer science. When inductive definitions involve binders, then Barendregt&#...