Sciweavers

217 search results - page 24 / 44
» System-Level Modeling and Verification: a Comprehensive Desi...
Sort
View
106
Voted
ESAW
2009
Springer
15 years 7 months ago
A Goal-Oriented Approach for Modelling Self-organising MAS
Autonomous software agents provide a promising solution to the needs of decentralised networked systems, able to adapt their behaviour in a complex and dynamically changing environ...
Mirko Morandini, Frédéric Migeon, Ma...
FDL
2004
IEEE
15 years 4 months ago
A Functional Programming Framework of Heterogeneous Model of Computation for System Design
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shu...
117
Voted
DATE
2005
IEEE
154views Hardware» more  DATE 2005»
15 years 6 months ago
Top-Down Design of a Low-Power Multi-Channel 2.5-Gbit/s/Channel Gated Oscillator Clock-Recovery Circuit
We present a complete top-down design of a low-power multi-channel clock recovery circuit based on gated current-controlled oscillators. The flow includes several tools and method...
Paul Muller, Armin Tajalli, Seyed Mojtaba Atarodi,...
111
Voted
FMSD
2006
83views more  FMSD 2006»
15 years 13 days ago
A Framework for Modeling the Distributed Deployment of Synchronous Designs
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
Luca P. Carloni, Alberto L. Sangiovanni-Vincentell...
CAS
2004
112views more  CAS 2004»
15 years 8 days ago
Sustainable Urban Transportation: A Model-Based Approach
Transportation and its environmental impacts are a major component of urban environmental management. At the same time, transportation and mobility are an important part or urban ...
Kurt Fedra