6960 search results - page 807 / 1392 » Continuity Analysis of Programs |
196
click to vote
PLDI
2004
ACM
16 years 16 days ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
215
click to vote
BIRTHDAY
2003
Springer
16 years 10 days ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
231
click to vote
PLDI
2010
ACM
16 years 5 days ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
201
click to vote
PVM
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. SKaMPI is a benchmark for MPI implementations. Its purpose is the detailed analysis of the runtime of individual MPI operations and comparison of these for di erent imple...
217
click to vote
ENTCS
2006
15 years 7 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...