368 search results - page 59 / 74 » Synthesis of Non-Interferent Timed Systems |
WSC
2007
13 years 10 months ago
2007
Project management involves various sources of uncertainty that affect planning, execution schedules, and cost. At the same time, the influx of information can be employed to redu...
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
We are concerned with the availability of systems, defined as the ratio between time of correct functioning and uptime. We propose to model guaranteed availability in terms of regu...
COMPSAC
2002
IEEE
14 years 20 days ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
ASPDAC
2010
ACM
13 years 5 months ago
2010
ACM
Modern digital IC designs have a critical operating point, or "wall of slack", that limits voltage scaling. Even with an errortolerance mechanism, scaling voltage below a...
FPL
2000
Springer
13 years 11 months ago
2000
Springer
This paper reports on a method for extending existing VHDL design and verification software available for the Xilinx Virtex series of FPGAs. It allows the designer to apply standa...