1615 search results - page 244 / 323 » Distributed Forward Checking |
115
click to vote
SPAA
2005
ACM
15 years 7 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
A problem that has been getting prominence in testing is that of looking for intermittent bugs. Multi-threaded code is becoming very common, mostly on the server side. As there is...
EDOC
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper addresses the problem of transforming natural language descriptions of contracts into a form that is suitable for automating various contract management functions. We i...
105
click to vote
IEEEICCI
2002
IEEE
15 years 7 months ago
2002
IEEE
Traditional software process environment stores documents using either centralized or distributed approach. With the assistance of web agent, this paper presents a new document st...
145
click to vote
HPCA
1998
IEEE
15 years 6 months ago
1998
IEEE
The performance of a concurrent multithreaded architectural model, called superthreading 15 , is studied in this paper. It tries to integrate optimizing compilation techniques and...