12115 search results - page 338 / 2423 » Bisimulation of Dynamical Systems |
200
click to vote
ICCS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract: An application of the method suitable for modelling and control of general discrete event dynamic systems (DEDS) to special kinds of communication systems is presented in...
176
click to vote
TAP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
185
click to vote
ICIAP
2007
ACM
16 years 26 days ago
2007
ACM
A biometric system for user authentication produces a matching score representing the degree of similarity of the input biometry with the set of templates for that user. If the sc...
190
click to vote
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
Real-time resource scheduling is an important factor for improving the performance of cluster computing. In many distributed and parallel processing systems, particularly real-tim...
185
click to vote
SIGMETRICS
2003
ACM
15 years 12 months ago
2003
ACM
Since web workloads are known to vary dynamically with time, in this paper, we argue that dynamic resource allocation techniques are necessary to provide guarantees to web applicat...