1304 search results - page 245 / 261 » Model Checking C Programs Using F-SOFT |
151
click to vote
JCB
2000
15 years 2 months ago
2000
We present a novel method for predicting the secondary structure of a protein from its amino acid sequence. Most existing methods predict each position in turn based on a local wi...
118
click to vote
ISCAS
1999
IEEE
15 years 6 months ago
1999
IEEE
The main objectives of Built-In Self Test (BIST) are the design of test pattern generator circuits which achieve the highest fault coverage, require the shortest sequence of test ...
125
click to vote
APPT
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, a comprehensive performance review of an MPI-based high-order three-dimensional spectral element method C++ toolbox is presented. The focus is put on the performance...
103
click to vote
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents an architecture for solving generically the problem of extracting the constraints of a given task in a programming by demonstration framework and the problem...
162
click to vote
WCW
2004
Springer
15 years 7 months ago
2004
Springer
As wireless networks increase in popularity, the development of efficient content distribution techniques to meet the growing and constantly changing client demand becomes a necess...