Sciweavers

2097 search results - page 44 / 420
» Modeling and Simulation of Hardware Software Systems with CD...
Sort
View
123
Voted
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 7 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
135
Voted
IEEEIAS
2009
IEEE
15 years 15 days ago
Full System Simulation and Verification Framework
In this paper, we propose a framework to develop highperformance system accelerator hardware and the corresponding software at system-level. This framework is designed by integrat...
Jing-Wun Lin, Chen-Chieh Wang, Chin-Yao Chang, Chu...
131
Voted
FPL
2005
Springer
138views Hardware» more  FPL 2005»
15 years 8 months ago
Snort Offloader: A Reconfigurable Hardware NIDS Filter
Software-based Network Intrusion Detection Systems (NIDS) often fail to keep up with high-speed network links. In this paper an FPGA-based pre-filter is presented that reduces th...
Haoyu Song, Todd S. Sproull, Michael Attig, John W...
88
Voted
MEMOCODE
2005
IEEE
15 years 8 months ago
Extended abstract: a race-free hardware modeling language
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
Patrick Schaumont, Sandeep K. Shukla, Ingrid Verba...
122
Voted
ANSS
2001
IEEE
15 years 6 months ago
Some Modest Proposals for Simulation Software: Design and Analysis of Experiments
Simulation software has made great advances in recent years along the dimensions of modeling capabilities, animated graphics, and ease of use. There have also been real improvemen...
W. David Kelton