6704 search results - page 1301 / 1341 » Testing Scenario-Based Models |
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment...
RTSS
1998
IEEE
14 years 2 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
EPS
1998
Springer
14 years 2 months ago
1998
Springer
We investigate the following question. Do populations of evolving agents adapt only to their recent environment or do general adaptive features appear over time? We find statistica...
FQAS
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. With more and more electronic information sources becoming widely available, the issue of the quality of these often-competing sources has become germane. We propose a st...
VISUALIZATION
1997
IEEE
14 years 2 months ago
1997
IEEE
Terrain visualization is a difficult problem for applications requiring accurate images of large datasets at high frame rates, such as flight simulation and ground-based aircraf...