61 search results - page 11 / 13 » Exact Simulation of Integrate-and-Fire Models with Exponenti... |
ICTAI
1997
IEEE
13 years 10 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...
RTSS
2007
IEEE
14 years 29 days ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
RECOMB
2004
Springer
14 years 7 months ago
2004
Springer
Identifying gene clusters, genomic regions that share local similarities in gene organization, is a prerequisite for many different types of genomic analyses, including operon pred...
CMSB
2008
Springer
13 years 8 months ago
2008
Springer
We present the Piecewise Linear Approximation Model of Ion Channel contribution (PLAMIC) to cardiac excitation. We use the PLAMIC model to conduct formal analysis of cardiac arrhyt...
EUROCAST
2007
Springer
13 years 10 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...