7121 search results - page 156 / 1425 » Functions as Session-Typed Processes |
108
click to vote
PTS
2010
15 years 1 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...
140
click to vote
DAC
2009
ACM
15 years 24 days 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...
133
click to vote
ICMLA
2009
15 years 22 days 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...
156
click to vote
ICST
2009
IEEE
15 years 22 days 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...
167
click to vote
JMLR
2011
14 years 10 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...