1243 search results - page 99 / 249 » Complexity reduction of C-Algorithm |
140
click to vote
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
107
click to vote
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
An intrusion detection system (IDS) detects illegal manipulations of computer systems. In intrusion detection systems, feature reduction, including feature extraction and feature ...
122
click to vote
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
Among the many stages of a simulation study, debugging a simulation model is the one that is hardly reported on but that may consume a considerable amount of time and effort. In t...
139
click to vote
SCOPES
2007
Springer
15 years 7 months ago
2007
Springer
Various scratchpad allocation strategies have been developed in the past. Most of them target the reduction of energy consumption. These approaches share the necessity of having d...
107
click to vote
WABI
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we introduce a new method of combined synthesis and inference of biological signal transduction networks. A main idea of our method lies in representing observed cau...