14244 search results - page 2436 / 2849 » Modeling Program Predictability |
130
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
Kahn defined a formal model for networks of processes that communicate through channels carrying streams of data tokens. His mathematical results show the necessary conditions fo...
112
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
A number of software packages are available for the construction of comprehensive human genetic maps. In this paper we parallelize the widely used package Genehunter. We restrict ...
164
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Software development project employs some Quality Control (QC) process to detect and remove defects. The final quality of the delivered software depends on the effort spent on al...
156
click to vote
LCN
2003
IEEE
15 years 9 months ago
2003
IEEE
Collective operations are an important aspect of the currently most important message-passing programming model MPI (Message Passing Interface). Many MPI applications make heavy u...
134
click to vote
UIST
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...