3379 search results - page 472 / 676 » Powers of Two |
115
Voted
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...
120
click to vote
SP
2003
IEEE
15 years 9 months ago
2003
IEEE
Many recent large-scale distributed computing applications utilize spare processor cycles of personal computers that are connected to the Internet. The resulting distributed compu...
122
Voted
ISLPED
2003
ACM
15 years 8 months ago
2003
ACM
Tag comparison elimination (TCE) is an effective approach to reduce I-cache energy. Current research focuses on finding good tradeoffs between hardware cost and percentage of comp...
116
Voted
ACG
2003
Springer
15 years 8 months ago
2003
Springer
We describe two Go programs, ¢¡¤£¦¥ and ¢¡¤§¨£ , developed by a Monte-Carlo approach that is simpler than Bruegmann’s (1993) approach. Our method is based on Abra...
119
Voted
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...