10055 search results - page 1759 / 2011 » Structured programming using processes |
129
click to vote
ISESE
2005
IEEE
15 years 7 months ago
2005
IEEE
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...
106
click to vote
EUROPAR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
113
click to vote
HVC
2005
Springer
15 years 7 months ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
111
Voted
ICAPR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This contribution shows how unsupervised Markovian segmentation techniques can be accelerated when implemented on graphics hardware equipped with a Graphics Processing Un...
152
Voted
RTA
2005
Springer
15 years 7 months ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...