9842 search results - page 369 / 1969 » Compositional timing analysis |
146
click to vote
CBMS
2007
IEEE
15 years 5 months ago
2007
IEEE
A novel three-stage method for the analysis of electroencephalographic (EEG) signals, concerning epileptic seizures, is proposed. First, segments of the EEG signals are analyzed u...
156
Voted
ENTCS
2007
15 years 5 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
163
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
147
click to vote
CMSB
2007
Springer
15 years 11 months ago
2007
Springer
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...
147
Voted
ENTCS
2006
15 years 5 months ago
2006
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...