4299 search results - page 425 / 860 » Concurrent Test Generation |
205
click to vote
ICS
2007
Tsinghua U.
16 years 14 days ago
2007
Tsinghua U.
Grid Workflows are emerging as practical programming models for solving large e-scientific problems on the Grid. However, it is typically assumed that the workflow components eith...
175
click to vote
LCPC
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. As parallelism in microprocessors becomes mainstream, new programming languages and environments are emerging to meet the challenges of parallel programming. To support r...
162
click to vote
PLDI
2006
ACM
16 years 8 days ago
2006
ACM
Atomic blocks allow programmers to delimit sections of code as ‘atomic’, leaving the language’s implementation to enforce atomicity. Existing work has shown how to implement...
186
click to vote
CODES
2005
IEEE
15 years 12 months ago
2005
IEEE
Arbitrary memory dependencies and variable latency memory systems are major obstacles to the synthesis of large-scale ASIC systems in high-level synthesis. This paper presents SOM...
174
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...