77016 search results - page 426 / 15404 » Modeling |
164
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
A methodology for architecture exploration of look-up table based decoders is presented. For the degree of parallel processing a trade-off can be made by exploring system level an...
140
click to vote
ELPUB
1997
ACM
15 years 10 months ago
1997
ACM
: The limitations of existing proposed and operational publishing models intended to replace the academic journal are briefly reviewed. Three ‘insights’ are described, the firs...
143
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...
162
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
158
click to vote
BIBE
2004
IEEE
15 years 10 months ago
2004
IEEE
Biologists highly rely on good algorithms for finding homologous regions in bimolecular sequences. An advanced homology search program named PatternHunter has recently been develo...