4693 search results - page 557 / 939 » Verifying Hybrid Systems |
190
click to vote
IADIS
2004
15 years 8 months ago
2004
Most Internet services rely on the traditional client-server model, where the quality of services usually depends on the performance of those servers. In this paper, we propose a ...
190
click to vote
TCSV
2002
15 years 6 months ago
2002
Despite the availability of video-on-demand (VoD) services in a number of cities around the world, large-scale deployment of VoD services in a metropolitan area is still economical...
195
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
233
click to vote
ATC
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...
239
click to vote
ISCA
2011
IEEE
14 years 10 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...