77 search results - page 9 / 16 » Tasks Models Merging for High-Level Component Composition |
133
click to vote
HYBRID
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
145
click to vote
ACSD
2006
IEEE
15 years 11 months ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...
134
Voted
VLDB
1998
ACM
15 years 9 months ago
1998
ACM
Scheduling algorithms for composite multimedia presentations need to ensure that the user-defined synchronization constraints for the various presentation components are met. This...
200
click to vote
WOSP
1998
ACM
15 years 9 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
170
Voted
ECRTS
2007
IEEE
15 years 11 months ago
2007
IEEE
Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt...