Sciweavers

1279 search results - page 106 / 256
» AWESIM: The Integrated Simulation System
Sort
View
AOSE
2008
Springer
15 years 3 months ago
OperA and Brahms: A Symphony?
The organizational view on work systems focuses on the desired outcomes of work, while the emergent view focuses on how the work actually gets done. Often a gap exists between thes...
Bart-Jan van Putten, Virginia Dignum, Maarten Sier...
DATE
2002
IEEE
166views Hardware» more  DATE 2002»
15 years 6 months ago
Event Model Interfaces for Heterogeneous System Analysis
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...
Kai Richter, Rolf Ernst
IAJIT
2010
166views more  IAJIT 2010»
15 years 9 days ago
Specification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
Faiza Bouchoul, Mohamed Mostefai
ISMVL
2007
IEEE
104views Hardware» more  ISMVL 2007»
15 years 8 months ago
Evaluation of Toggle Coverage for MVL Circuits Specified in the SystemVerilog HDL
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
Mahsan Amoui, Daniel Große, Mitchell A. Thor...
ICPP
2007
IEEE
15 years 8 months ago
Achieving Reliability through Replication in a Wide-Area Network DHT Storage System
It is a challenge to design and implement a wide-area distributed hash table (DHT) which provides a storage service with high reliability. Many existing systems use replication to...
Jing Zhao, Hongliang Yu, Kun Zhang, Weimin Zheng, ...