7766 search results - page 1135 / 1554 » Testing Nondeterminate Systems |
132
click to vote
DAC
2010
ACM
15 years 8 months ago
2010
ACM
State-of-the-art automatic reliability analyses as used in system-level design approaches mainly rely on Binary Decision Diagrams (BDDs) and, thus, face two serious problems: (1) ...
137
click to vote
SP
2010
IEEE
15 years 8 months ago
2010
IEEE
The computer systems security arms race between attackers and defenders has largely taken place in the domain of software systems, but as hardware complexity and design processes ...
119
Voted
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we introduce XCSF with support vector prediction: the problem of learning the prediction function is solved as a support vector regression problem and each classifie...
140
click to vote
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
Many Web applications are based on dynamic interactions between Web components exchanging flows of information. Such a situation arises for instance in mashup systems or when moni...
125
click to vote
ICASSP
2009
IEEE
15 years 8 months ago
2009
IEEE
We provide an analysis of the algorithms necessary for the optimal use of multidimensional signal reconstruction from multichannel acquisition. Firstly, we provide computable cond...