Sciweavers

422 search results - page 32 / 85
» Towards Development in Evolvable Hardware
Sort
View
ECMDAFA
2010
Springer
112views Hardware» more  ECMDAFA 2010»
14 years 2 months ago
Joint Language and Domain Engineering
Abstract. In domain-specific development model-driven development environments play an important role. Most of these environments only provide support for language engineering, bu...
Tobias Walter, Fernando Silva Parreiras, Steffen S...
ECMDAFA
2008
Springer
100views Hardware» more  ECMDAFA 2008»
13 years 11 months ago
From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
Gregor Engels, Anneke Kleppe, Arend Rensink, Maria...
ICCAD
2006
IEEE
138views Hardware» more  ICCAD 2006»
14 years 6 months ago
Analytical modeling of SRAM dynamic stability
In this paper, for the first time, a theory for evaluating dynamic noise margins of SRAM cells is developed analytically. The results allow predicting the transient error suscepti...
Bin Zhang, Ari Arapostathis, Sani R. Nassif, Micha...
CAV
2006
Springer
128views Hardware» more  CAV 2006»
14 years 1 months ago
Safraless Compositional Synthesis
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi
DATE
2009
IEEE
119views Hardware» more  DATE 2009»
14 years 4 months ago
On-chip communication architecture exploration for processor-pool-based MPSoC
— MPSoC is evolving towards processor-pool (PP)-based architectures, which employ hierarchical on-chip network for inter- and intra-PP communication. Since the design space of PP...
Young-Pyo Joo, Sungchan Kim, Soonhoi Ha