5239 search results - page 609 / 1048 » Model-Integrated Embedded Systems |
190
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
170
click to vote
RTCSA
2000
IEEE
15 years 10 months ago
2000
IEEE
We propose an efficient strategy for resource management for scalable QoS guaranteed real-time communication services. This strategy is based on sink trees, and is particularly we...
171
click to vote
ECRTS
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--Limited preemption scheduling has been introduced as a viable alternative to non-preemptive and fullypreemptive scheduling when reduced blocking times need to coexist wit...
191
click to vote
JTRES
2010
ACM
15 years 7 months ago
2010
ACM
With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance. Java Pat...
180
click to vote
ECRTS
2010
IEEE
15 years 7 months ago
2010
IEEE
— The generalized multiframe (GMF) task has been proposed to model a task whose execution times, deadlines and minimum separation times are changed according to a specified patte...