396 search results - page 24 / 80 » Functional Validation of System Level Static Scheduling |
HASKELL
2006
ACM
15 years 3 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
SOFIA (Safe Automatic Flight Back and Landing of Aircraft) project is a response to the challenge of developing concepts and techniques enabling the safe and automatic return to g...
WSC
2004
14 years 11 months ago
2004
Hierarchical production planning provides a formal bridge between long-term plans and short-term schedules. A hybrid simulation-based production planning architecture consisting o...
RTS
2008
14 years 9 months ago
2008
We present a fine grain quality control method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions a...
89
Voted
BMCBI
2010
14 years 9 months ago
2010
Background: Genetic interaction profiles are highly informative and helpful for understanding the functional linkages between genes, and therefore have been extensively exploited ...