4213 search results - page 349 / 843 » The Tau Parallel Performance System |
201
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
187
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes experiences in using an O.O. language (Java) in designing, prototyping and evaluating a CPU manager. QoS Animator facilitates the execution of object oriented...
205
click to vote
HPCN
1999
Springer
15 years 11 months ago
1999
Springer
We developed a platform independent, three-tier system, called WebFlow. The visual authoring tools implemented in the front end integrated with the middle tier network of servers ...
185
Voted
BMVC
2000
15 years 8 months ago
2000
In this paper, we present results of a comparative study on disparity analysis of convergent stereo systems. If the epipolar geometry is known, disparity analysis can be performed...
164
Voted
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
In this paper we present a concurrent implementation of genetic algorithms designed for shared memory architectures intended to take advantage of multi-core processor platforms. O...