Sciweavers

4890 search results - page 342 / 978
» From system specifications to component behavioral models
Sort
View
IPPS
2007
IEEE
16 years 1 months ago
Taking Advantage of Collective Operation Semantics for Loosely Coupled Simulations
Although a loosely coupled component-based framework offers flexibility and versatility for building and deploying large-scale multi-physics simulation systems, the performance o...
Joe Shang-Chieh Wu, Alan Sussman
ICECCS
2008
IEEE
203views Hardware» more  ICECCS 2008»
16 years 1 months ago
Using AADL to Model a Protocol Stack
In recent trends, the Architecture Analysis and Design Language (AADL) has received increasing attention from safety-critical software development industries. Specific about the A...
Didier Delanote, Stefan Van Baelen, Wouter Joosen,...
TDSC
2010
172views more  TDSC 2010»
15 years 1 months ago
Proactive Detection of Computer Worms Using Model Checking
Although recent estimates are speaking of 200,000 different viruses, worms, and Trojan horses, the majority of them are variants of previously existing malware. As these variants m...
Johannes Kinder, Stefan Katzenbeisser, Christian S...
CKEC
1991
15 years 10 months ago
Case-Based Reasoning and Model-Based Knowledge Acquisition
We propose in this paper a general framework for integrating inductive and case-based reasoning techniques for diagnosis tasks. We present a set of practical integrated approaches...
Dietmar Janetzko, Gerhard Strube
FPL
2004
Springer
144views Hardware» more  FPL 2004»
15 years 10 months ago
A Methodology for Energy Efficient FPGA Designs Using Malleable Algorithms
A recent trend towards integrating FPGAs with many heterogeneous components, such as memory systems, dedicated multipliers, etc., has made them an attractive option for implementin...
Jingzhao Ou, Viktor K. Prasanna