Sciweavers

15635 search results - page 416 / 3127
» Modelling and Design of VAML
Sort
View
138
Voted
VLDB
1990
ACM
96views Database» more  VLDB 1990»
15 years 10 months ago
Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications
Marian H. Nodine, Stanley B. Zdonik
ASPDAC
2007
ACM
82views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Abstract, Multifaceted Modeling of Embedded Processors for System Level Design
Gunar Schirner, Andreas Gerstlauer, Rainer Dö...
ICFEM
2007
Springer
15 years 10 months ago
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...