828 search results - page 68 / 166 » Modularity for Timed and Hybrid Systems |
120
Voted
MASCOTS
2004
15 years 5 months ago
2004
This paper uses trace-driven simulations to evaluate two novel Web server scheduling policies called KSRPT and T-SRPT. K-SRPT is a multi-threaded version of SRPT (Shortest Remaini...
168
Voted
OR
2007
Springer
15 years 3 months ago
2007
Springer
The Maximal Covering Location Problem (MCLP) maximizes the population that has a facility within a maximum travel distance or time. Numerous extensions have been proposed to enhan...
123
Voted
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper proposes two new methods for optimizing objectives and constraints. The GP approach is very general and hardware resources in finite wordlength implementation of it allo...
148
Voted
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
153
Voted
CMSB
2007
Springer
15 years 9 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...