4693 search results - page 20 / 939 » Verifying Hybrid Systems |
158
click to vote
AIPS
2006
15 years 7 months ago
2006
We present an architecture that provides a robust, scalable and flexible software framework for planning and scheduling systems through the use of standardized industrial-strength...
145
click to vote
NOMS
2000
IEEE
15 years 10 months ago
2000
IEEE
Using IP-based Virtual Private Network (IP-VPN) technology, a company can establish its virtual private network over public networks. Recently, IP-VPN emerges as one of main techn...
175
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper proposes a comprehensive modeling architecture for workloads on parallel computers using Markov chains in combination with state dependent empirical distribution functi...
123
Voted
HYBRID
2007
Springer
16 years 2 days ago
2007
Springer
