368 search results - page 8 / 74 » Synthesis of Non-Interferent Timed Systems |
104
click to vote
SOSP
1989
ACM
15 years 28 days ago
1989
ACM
The Synthesis operating system kernel combines several techniques to provide high performa.nce, incl1iding kernel code synthesis, fine-gra.in scheduling. and optimistic sylicllrol...
115
click to vote
ECRTS
2002
IEEE
2002
IEEE
Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis
15 years 4 months ago
Real-time control systems are complex to design, and automation support is important. We are interested in systems with multiple tasks, each with multiple modes, implementing a fu...
105
click to vote
CODES
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents a novel approach for multiprocess synthesis supporting well-tailored module integration at system level. The goal is to extend the local scope of existing arch...
106
click to vote
DAC
1999
ACM
15 years 4 months ago
1999
ACM
This paper presents a novel approach for synthesis of analog systems from behavioral VHDL-AMS specifications. We implemented this approach in the VASE behavioral-synthesis tool. ...
RTSS
2009
IEEE
15 years 6 months ago
2009
IEEE