932 search results - page 111 / 187 » Verifying Progress in Timed Systems |
109
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
— Generalized selection multiuser diversity (GSMuD) is a new scheduling scheme which provides a near-optimal low-complexity solution to parallel access multiuser scheduling. In t...
141
click to vote
HPDC
2010
IEEE
15 years 3 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...
106
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
152
click to vote
PASTE
1998
ACM
15 years 6 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
139
click to vote
ISOLA
2010
Springer
15 years 22 days ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...