Sciweavers

4074 search results - page 16 / 815
» Hardware Modelling and Simulation Using an Object-Oriented M...
Sort
View
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
15 years 3 months ago
Combining simulation and formal methods for system-level performance analysis
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
Simon Künzli, Francesco Poletti, Luca Benini,...
63
Voted
ICCD
1993
IEEE
111views Hardware» more  ICCD 1993»
15 years 1 months ago
Ravel-XL: A Hardware Accelerator for Assigned-Delay Compiled-Code Logic Gate Simulation
Ravel-XL is a single-boardhardware accelerator for gate-level digital logic simulation. It uses a standard levelizedcode approach to statically schedule gate evaluations.However, u...
Michael A. Riepe, João P. Marques Silva, Ka...
DAC
2012
ACM
13 years 13 hour ago
Chisel: constructing hardware in a Scala embedded language
In this paper we introduce Chisel, a new hardware construction language that supports advanced hardware design using highly parameterized generators and layered domain-specific h...
Jonathan Bachrach, Huy Vo, Brian Richards, Yunsup ...
WWW
2004
ACM
15 years 10 months ago
Business objective based resource management
Enterprises today wish to manage their IT resources so as to optimize business objectives, such as income, rather than IT metrics, such as response times. Therefore, we introduce ...
Sarel Aiber, Dagan Gilat, Ariel Landau, Natalia Ra...
GECCO
2007
Springer
181views Optimization» more  GECCO 2007»
15 years 1 months ago
Combining bond-graphs with genetic programming for unified/automated design of mechatronic or multi domain dynamic systems
The multi domain nature of a mechatronic system makes it difficult to model using a single modeling technique over the whole system as varying sets of system variables are require...
Saheeb Ahmed Kayani, Muhammad Afzaal Malik