523 search results - page 30 / 105 » Transformations for Model Checking Distributed Java Programs |
157
Voted
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
As multi/many core processors become prevalent, programming language is important in constructing efficient parallel applications. In this work, we build a multithreaded video min...
181
Voted
ICPPW
2005
IEEE
15 years 10 months ago
2005
IEEE
High-performance computing is essential for solving large problems and for reducing the time to solution for a single problem. Current top high-performance computing systems conta...
131
Voted
EUROPAR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Program transformations are one of the most valuable compiler techniques to improve data locality. However, restructuring compilers have a hard time coping with data depe...
140
click to vote
ENTCS
2008
15 years 5 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
129
click to vote
CP
2003
Springer
15 years 10 months ago
2003
Springer
A reason to distribute constraint satisfaction is privacy: agents may not want to share their values, and they may wish to keep constraints as private as possible. In this paper, w...