1379 search results - page 122 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
123
Voted
DBPL
1993
Springer
15 years 7 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
151
Voted
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
Writing reliable software is difficult. It becomes even more difficult when writing scientific software involving floating-point numbers. Computers provide numbers with limite...
161
Voted
EWSPT
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
203
Voted
WWW
2011
ACM
14 years 10 months ago
2011
ACM
The advent of Cloud computing platforms, and the growing pervasiveness of Multicore processor architectures have revealed the inadequateness of traditional programming models base...
142
Voted
ICA3PP
2005
Springer
15 years 9 months ago
2005
Springer
In the present work we describe architectural concepts of the distributed molecular simulation package GridMD. The main purpose of this work is to underline the construction patter...