4426 search results - page 657 / 886 » Concurrent Constraint Programming |
206
click to vote
NDDL
2003
15 years 7 months ago
2003
Data races are a common problem in concurrent and multi-threaded programming. They are hard to detect without proper tool support. Despite the successful application of these tools...
172
click to vote
PDPTA
2000
15 years 7 months ago
2000
Abstract In this paper, we propose a microprocessor architecture which eciently utilizes nextgeneration semiconductor technology. While the technology makes it possible to integrat...
152
Voted
WSC
1989
15 years 7 months ago
1989
Proof Animation™ is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsiz...
200
click to vote
CIDR
2009
15 years 7 months ago
2009
Data consistency is very desirable because strong semantic properties make it easier to write correct programs that perform as users expect. However, there are good reasons why co...
147
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
A variety of computation models have been developed using graphs and graph transformations. These include models for sequential, distributed, parallel or mobile computation. A grap...