Sciweavers

13383 search results - page 61 / 2677
» Abstractions from proofs
Sort
View
RSP
1999
IEEE
160views Control Systems» more  RSP 1999»
15 years 9 months ago
Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
Oliver Bringmann, Wolfgang Rosenstiel, Annette Mut...
ATAL
2009
Springer
15 years 9 months ago
From abstract qualities to concrete specification using guidance policies
Scott J. Harmon, Scott A. DeLoach, Robby
CG
2006
Springer
15 years 8 months ago
Abstracting Knowledge from Annotated Chinese-Chess Game Records
Bo-Nian Chen, Pangfeng Liu, Shun-chin Hsu, Tsan-sh...
125
Voted
ACSD
2001
IEEE
103views Hardware» more  ACSD 2001»
15 years 8 months ago
Abstracting from Failure Probabilities
Jan Jürjens