1271 search results - page 211 / 255 » On Simulation-Checking with Sequential Systems |
ECIS
2003
13 years 10 months ago
2003
Multiple combinations of hardware and network components can be selected to design an information technology (IT) infrastructure that satisfies performance requirements. The profe...
ECIS
2003
13 years 10 months ago
2003
The issue of software patents is widely discussed in Europe today. The standard economic rationale for patents is to protect potential innovators from imitation, which ultimately ...
PARCO
2003
13 years 10 months ago
2003
Three different partial differential equation (PDE) solver kernels are analyzed in respect to cache memory performance on a simulated shared memory computer. The kernels implement...
BMVC
2000
13 years 10 months ago
2000
This paper introduces an object recognition strategy based on the following premises: i) an object can be identified on the basis of the optical flow it induces on a stationary ob...
ICMAS
2000
13 years 10 months ago
2000
In automated negotiation systems consisting of self-interested agents, contracts have traditionally been binding. Leveled commitment contracts--i.e., contracts where each party ca...