3999 search results - page 156 / 800 » Design of Optical Access Systems using Computer Modeling |
150
click to vote
PPOPP
2009
ACM
15 years 11 months ago
2009
ACM
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...
162
click to vote
GCC
2003
Springer
15 years 10 months ago
2003
Springer
Cooperative computing is becoming inevitable with the emerging of service-oriented computing and GRID becoming a ubiquitous computing resource. It is widely recognized that agent t...
166
click to vote
DAC
1996
ACM
15 years 9 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
171
Voted
HPDC
2002
IEEE
15 years 10 months ago
2002
IEEE
In high energy physics, bioinformatics, and other disciplines, we encounter applications involving numerous, loosely coupled jobs that both access and generate large data sets. So...
129
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Modeling is considered an inherent part of design, operation and optimization of Water Quality Systems. Models are used for running so-called Virtual Experiments, such as...