Sciweavers

4074 search results - page 100 / 815
» Hardware Modelling and Simulation Using an Object-Oriented M...
Sort
View
DATE
2009
IEEE
168views Hardware» more  DATE 2009»
15 years 4 months ago
Selective state retention design using symbolic simulation
Abstract—Addressing both standby and active power is a major challenge in developing System-on-Chip designs for batterypowered products. Powering off sections of logic or memorie...
Ashish Darbari, Bashir M. Al-Hashimi, David Flynn,...
ISCA
2012
IEEE
232views Hardware» more  ISCA 2012»
13 years 6 days ago
RADISH: Always-on sound and complete race detection in software and hardware
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
Joseph Devietti, Benjamin P. Wood, Karin Strauss, ...
WSC
1998
14 years 11 months ago
Array-driven Simulation of Real Databases
A method to represent actual relational databases with arrays for simulation modeling of their performance as part of a software/hardware system has been created. The method inclu...
William S. Keezer
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
15 years 3 months ago
Formal performance analysis and simulation of UML/SysML models for ESL design
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
Alexander Viehl, Timo Schönwald, Oliver Bring...
BMCBI
2010
149views more  BMCBI 2010»
14 years 10 months ago
RuleMonkey: software for stochastic simulation of rule-based models
Background: The system-level dynamics of many molecular interactions, particularly protein-protein interactions, can be conveniently represented using reaction rules, which can be...
Joshua Colvin, Michael I. Monine, Ryan N. Gutenkun...