Sciweavers

1446 search results - page 138 / 290
» Formal analysis of hardware requirements
Sort
View
DATE
2010
IEEE
154views Hardware» more  DATE 2010»
13 years 9 months ago
A proposal for real-time interfaces in SPEEDS
Abstract—The SPEEDS project is aimed at making rich components models (RCM) into a mature framework in all phases of the design of complex distributed embedded systems. The RCM m...
Purandar Bhaduri, Ingo Stierand
RV
2010
Springer
153views Hardware» more  RV 2010»
13 years 8 months ago
Run-Time Verification of Networked Software
Most applications that are in use today inter-operate with other applications, so-called peers, over a network. The analysis of such distributed applications requires that the effe...
Cyrille Valentin Artho
MEMOCODE
2007
IEEE
14 years 5 months ago
Scheduling as Rule Composition
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
Nirav Dave, Arvind, Michael Pellauer
HOTDEP
2008
107views Hardware» more  HOTDEP 2008»
14 years 1 months ago
Reverse-Engineering Drivers for Safety and Portability
Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers...
Vitaly Chipounov, George Candea
CODES
2003
IEEE
14 years 4 months ago
Early estimation of the size of VHDL projects
The analysis of the amount of human resources required to complete a project is felt as a critical issue in any company of the electronics industry. In particular, early estimatin...
William Fornaciari, Fabio Salice, Daniele Paolo Sc...