101 search results - page 12 / 21 » Controller Synthesis for MTL Specifications |
DATE
2002
IEEE
14 years 15 days ago
2002
IEEE
This paper introduces several new component clustering techniques for the optimization of asynchronous systems. In particular, novel “Burst-Mode aware” restrictions are impose...
COMPSEC
2008
13 years 7 months ago
2008
While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reco...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
A way of combining object-oriented and structural paradigms of software composition is demonstrated in a tool for generative programming. Metaclasses are introduced that are compon...
TSD
2005
Springer
14 years 1 months ago
2005
Springer
Transferring a structure from the visual modality to the aural one presents a difficult challenge. In this work we are experimenting with prosody modeling for the synthesized speec...
ICCD
1992
IEEE
13 years 11 months ago
1992
IEEE
We describe a new synthesis procedure for designing asynchronous controllers from burst-mode specifications, a class of specifications allowing multiple input change fundamental m...