Sciweavers

12333 search results - page 155 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
16 years 3 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
ICSEA
2009
IEEE
15 years 4 months ago
Software Process Improvement in Multimodel Environments
-- Software is increasing in size and complexity. As a direct implication, organizations nd it more difficult to achieve the desired product quality. Process improvement models are...
André Ferreira, Ricardo Jorge Machado
ISQED
2006
IEEE
123views Hardware» more  ISQED 2006»
16 years 7 days ago
A Simulation-Based Soft Error Estimation Methodology for Computer Systems
This paper proposes a simulation-based soft error estimation methodology for computer systems. Accumulating soft error rates (SERs) of all memories in a computer system results in...
Makoto Sugihara, Tohru Ishihara, Masanori Muroyama...
CODES
1999
IEEE
15 years 10 months ago
System synthesis utilizing a layered functional model
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
Ingo Sander, Axel Jantsch
ICCD
2004
IEEE
79views Hardware» more  ICCD 2004»
16 years 3 months ago
Using Circuits and Systems-Level Research to Drive Nanotechnology
This paper details nano-scale devices being researched by physical scientists to build computational systems. It also reviews some existing system design work that uses the device...
Michael T. Niemier, Ramprasad Ravichandran, Peter ...