2776 search results - page 23 / 556 » System-Level Abstraction Semantics |
RSP
1999
IEEE
14 years 1 months ago
1999
IEEE
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 ...
VLSID
1999
IEEE
14 years 1 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
ENTCS
2007
13 years 9 months ago
2007
d abstract) Dominique Unruh 1 Institut f¨ur Algorithmen und Kognitive Systeme, Universit¨at Karlsruhe Am Fasanengarten 5, 76131 Karlsruhe, Germany We show how to model the seman...
LICS
1993
IEEE
14 years 1 months ago
1993
IEEE
traction for a Shared Variable Parallel Language Stephen Brookes∗ School of Computer Science Carnegie Mellon University Pittsburgh, Pa 15213 We give a new denotational semantics...
JOCN
2011
13 years 3 months ago
2011
orrelates of Abstract Verb Processing Javier Rodríguez-Ferreiro1 , Silvia P. Gennari2 , Robert Davies3 , and Fernando Cuetos4 ■ The present study investigated the neural correl...