5588 search results - page 409 / 1118 » Parallel Implementation of Bags |
132
Voted
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract. The continuous media applications have an implied temporal dimension, i.e. they are presented at a particular rate for a particular length of time and if the required rat...
157
click to vote
IPPS
1999
IEEE
15 years 9 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 ...
148
click to vote
IPPS
1999
IEEE
15 years 9 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...
124
click to vote
CONCUR
1999
Springer
15 years 9 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...
117
Voted
ECOOPW
1999
Springer
15 years 9 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...