515 search results - page 80 / 103 » A Dynamic Programming Approach to Optimal Integrated Code Ge... |
159
click to vote
FAABS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
94
Voted
ANSS
2004
IEEE
15 years 4 months ago
2004
IEEE
To enable optimizations in memory access behavior of high performance applications, cache monitoring is a crucial process. Simulation of cache hardware is needed in order to allow...
124
Voted
LCTRTS
2010
Springer
14 years 10 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
105
Voted
WSC
1997
15 years 1 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...
111
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
This study examines the utility of meta-grammar constant generation on a series of benchmark problems. The performance of the meta-grammar approach is compared to a grammar which ...