Sciweavers

217 search results - page 24 / 44
» System-Level Modeling and Verification: a Comprehensive Desi...
Sort
View
ESAW
2009
Springer
15 years 10 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...
173
Voted
FDL
2004
IEEE
15 years 7 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...
DATE
2005
IEEE
154views Hardware» more  DATE 2005»
15 years 9 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,...
FMSD
2006
83views more  FMSD 2006»
15 years 3 months 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 3 months 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