Sciweavers

168 search results - page 8 / 34
» Design with race-free hardware semantics
Sort
View
DATE
2008
IEEE
102views Hardware» more  DATE 2008»
14 years 2 months ago
Semantics for Model-Based Validation of Continuous/Discrete Systems
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...
Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicoles...
DATE
2006
IEEE
100views Hardware» more  DATE 2006»
14 years 1 months ago
Heterogeneous behavioral hierarchy for system level designs
Enhancing productivity for designing complex embedded systems requires system level design methodology and language support for capturing complex design in high level models. For ...
Hiren D. Patel, Sandeep K. Shukla, Reinaldo A. Ber...
ETS
2007
IEEE
76views Hardware» more  ETS 2007»
13 years 7 months ago
Lifelong Learning Organisers: Requirements for Tools for Supporting Episodic and Semantic Learning
We propose Lifelong Learning Organisers (LLOs) as tools to support the capturing, organisation and retrieval of personal learning experiences, resources and notes, over a range of...
Giasemi N. Vavoula, Mike Sharples
ATVA
2010
Springer
142views Hardware» more  ATVA 2010»
13 years 5 months ago
On Scenario Synchronization
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla
ICCAD
1994
IEEE
111views Hardware» more  ICCAD 1994»
13 years 11 months ago
On modeling top-down VLSI design
We present an improved data model that reflects the whole VLSI design process including bottom-up and topdown design phases. The kernel of the model is a static version concept th...
Bernd Schürmann, Joachim Altmeyer, Martin Sch...