5562 search results - page 419 / 1113 » Implementing Parallel Cell-DEVS |
173
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paperpresents new resultson anapproach for solvingsatisfiability problems (SAT), that is, creating a logic circuit that is specialized to solve each problem instance on Field ...
170
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
To support incremental replay of message-passing applications, processes must periodically checkpoint and the content of some messages must be logged, to break dependencies of the...
144
click to vote
CONCUR
1999
Springer
15 years 10 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
135
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
Our industrial partners have difficulties coping with maintenance and reuse of their software applications, due to the hard coded presence of domain knowledge in the implementation...
208
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
In many application scenarios the database is changing quite rapidly. Because the management of such data is rather expensive and cumbersome, many applications like data warehouse...