10707 search results - page 579 / 2142 » Designing executable abstractions |
170
click to vote
FDL
2004
IEEE
15 years 11 months ago
2004
IEEE
In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design app...
189
click to vote
DAC
2008
ACM
16 years 8 months ago
2008
ACM
Scenario-based design exploits the time-varying execution behavior of applications by dynamically adapting the system on which they run. This is a particularly interesting design ...
218
Voted
MICRO
2003
IEEE
16 years 20 days ago
2003
IEEE
Silicon technology will continue to provide an exponential increase in the availability of raw transistors. Effectively translating this resource into application performance, how...
217
Voted
ISLPED
2005
ACM
16 years 29 days ago
2005
ACM
Due to difficulties in distributing a single global clock signal over increasingly large chip areas, a globally asynchronous, locally synchronous design is considered a promising ...
328
Voted
ICFP
2009
ACM
16 years 8 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...