1222 search results - page 226 / 245 » A Bayesian Approach to Model Checking Biological Systems |
124
click to vote
ASE
2002
15 years 1 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
116
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
— BLAST is a very popular Computational Biology algorithm. Since it is computationally expensive it is a natural target for acceleration research, and many reconfigurable archite...
209
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
159
Voted
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
CLEF
2009
Springer
15 years 3 months ago
2009
Springer
This paper describes the baselines proposed for the ResPubliQA 2009 task. These baselines are purely based on information retrieval techniques. The selection of an adequate retrie...