7121 search results - page 156 / 1425 » Functions as Session-Typed Processes |
143
click to vote
PTS
2010
15 years 4 months ago
2010
This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete specification. The inductive testing technique works by p...
200
click to vote
DAC
2009
ACM
15 years 4 months ago
2009
ACM
For hardware security applications, the availability of secret keys is a critical component for secure activation, IC authentication and for other important applications including...
174
click to vote
ICMLA
2009
15 years 4 months ago
2009
In sequential decision making under uncertainty, as in many other modeling endeavors, researchers observe a dynamical system and collect data measuring its behavior over time. The...
202
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
208
click to vote
JMLR
2011
15 years 1 months ago
2011
This review focuses on dynamic causal analysis of functional magnetic resonance (fMRI) data to infer brain connectivity from a time series analysis and dynamical systems perspecti...