245 search results - page 24 / 49 » Quasi-interpretations a way to control resources |
88
Voted
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
107
click to vote
WETICE
2003
IEEE
15 years 3 months ago
2003
IEEE
Large scale distributed applications such as electronic commerce and online marketplaces combine network access with multiple storage and computational elements. The distributed r...
76
Voted
ISSS
2002
IEEE
15 years 3 months ago
2002
IEEE
Scheduling is widely recognized as a very important step in highlevel synthesis. Nevertheless, it is usually done without taking into account the effects on the actual hardware im...
103
Voted
WORDS
2002
IEEE
15 years 3 months ago
2002
IEEE
Distributed programming is applicable in a wide range of domains such as control systems. These systems are subject to mutable environments and must also provide a time varying ad...
119
Voted
VSGAMES
2010
14 years 8 months ago
2010
—Mass adoption of virtual world platforms for education and training implies efficient management of computational resources. In Second Life Grid and OpenSimulator, commonly used...