Sciweavers

1617 search results - page 124 / 324
» Modeling and evaluation of hardware software designs
Sort
View
KBSE
2007
IEEE
16 years 21 days ago
Checking threat modeling data flow diagrams for implementation conformance and security
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
Marwan Abi-Antoun, Daniel Wang, Peter Torr
FDL
2005
IEEE
16 years 1 days ago
Meta Modelling of Embedded Systems using Active Databases
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
Dieter Monjau, Mathias Sporer
FCCM
2007
IEEE
146views VLSI» more  FCCM 2007»
16 years 23 days ago
Mitrion-C Application Development on SGI Altix 350/RC100
This paper provides an evaluation of SGI® RASC™ RC100 technology from a computational science software developer’s perspective. A brute force implementation of a two-point an...
Volodymyr V. Kindratenko, Robert J. Brunner, Adam ...
ICCAD
2001
IEEE
256views Hardware» more  ICCAD 2001»
16 years 3 months ago
An Analytical High-Level Battery Model for Use in Energy Management of Portable Electronic Systems
Once the battery becomes fully discharged, a battery-powered portable electronic system goes off-line. Therefore, it is important to take the battery behavior into account. A syst...
Daler N. Rakhmatov, Sarma B. K. Vrudhula
EMSOFT
2009
Springer
15 years 11 months ago
Serving embedded content via web applications: model, design and experimentation
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...
Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vand...