613 search results - page 41 / 123 » Executable Visual Contracts |
WAPCV
2004
Springer
14 years 4 months ago
2004
Springer
A number of computational models of visual attention exist, but making comparisons is difficult due to the incompatible implementations and levels at which the simulations are con...
MSE
2002
IEEE
14 years 3 months ago
2002
IEEE
In this paper we describe an authoring environment which allows the author to set up and test a complex multimedia presentation by defining the synchronization relationships amon...
IPPS
1998
IEEE
14 years 3 months ago
1998
IEEE
We propose a new parallel performance visualization scheme, based on a simple moment analysis of processor utilization data. This method combines the scalability advantages of sta...
WSC
1997
14 years 9 days ago
1997
Parallel discrete event simulation systems (PDES) are used to simulate large-scale applications such as modeling telecommunication networks, transportation grids, and battlefield...
POPL
2003
ACM
14 years 11 months ago
2003
ACM
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...