8719 search results - page 190 / 1744 » A Categorical Approach to Simulations |
164
click to vote
SEM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Current research in peer to peer systems is lacking appropriate environments for simulation and experimentation of large scale overlay services. This has led to a plethor...
110
click to vote
CODES
1998
IEEE
15 years 6 months ago
1998
IEEE
Timing analysis for checking satisfaction of constraints is a crucial problem in real-time system design. In some current approaches, the delay of software modules is precalculate...
137
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
115
click to vote
WSC
2008
15 years 4 months ago
2008
The requirements on production systems and their planning and control systems are constantly growing. Systems have to be flexible and provide viable solutions at the same time. Di...
SPRINGSIM
2008
15 years 3 months ago
2008
Programmable graphics processing units (GPUs) have emerged as excellent computational platforms for certain general-purpose applications. The data parallel execution capabilities ...