7961 search results - page 76 / 1593 » Input-Output Model Programs |
121
click to vote
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
116
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
In this note we consider the following decision problems. Let be a fixed first-order signature. (i) Given a first-order theory or ground theory T over of Turing degree , a program...
114
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
This paper presents Kato, a tool that implements a novel class of optimizations that are inspired by program slicing for imperative languages but are applicable to analyzable decl...
109
click to vote
SRDS
2003
IEEE
15 years 7 months ago
2003
IEEE
The perfectly synchronized round model provides the abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We p...
107
Voted
ICPPW
2003
IEEE
15 years 7 months ago
2003
IEEE
Recent work in high-performance computing has shifted attention to PC clusters.. For PC-clusters, member nodes are independent computers connected by generalpurpose networks. The ...