Sciweavers

3902 search results - page 103 / 781
» Hardware Synthesis from C C Models
Sort
View
107
Voted
AAAI
1998
15 years 4 months ago
Bayesian Network Models for Generation of Crisis Management Training Scenarios
We present a noisy-OR Bayesian network model for simulation-based training, and an efficient search-based algorithm for automatic synthesis of plausible training scenarios from co...
Eugene Grois, William H. Hsu, Mikhail Voloshin, Da...
101
Voted
ASPDAC
1999
ACM
98views Hardware» more  ASPDAC 1999»
15 years 7 months ago
A Scheduling Method for Synchronous Communication in the Bach Hardware Compiler
− In this paper, we propose a scheduling method for synchronous communication between threads in the Bach hardware compiler. In this method, all communications are extracted from...
Ryoji Sakurai, Mizuki Takahashi, Andrew Kay, Akihi...
125
Voted
DAC
2007
ACM
16 years 4 months ago
Hardware Support for Secure Processing in Embedded Systems
The inherent limitations of embedded systems make them particularly vulnerable to attacks. We have developed a hardware monitor that operates in parallel to the embedded processor...
Shufu Mao, Tilman Wolf
81
Voted
ASPDAC
2005
ACM
81views Hardware» more  ASPDAC 2005»
15 years 9 months ago
System-level communication modeling for network-on-chip synthesis
— As we are entering the network-on-chip era and system communication is becoming a dominating factor, comon abstraction and synthesis are becoming the integral part of system de...
Andreas Gerstlauer, Dongwan Shin, Rainer Döme...
107
Voted
FDL
2005
IEEE
15 years 9 months ago
Synthesis for Unified Control- and Data-Oriented Models
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
Oana Florescu, Jeroen Voeten, Henk Corporaal