3820 search results - page 607 / 764 » Bounded Model Debugging |
120
Voted
IEEECIT
2010
IEEE
15 years 1 months ago
2010
IEEE
—As the need for embedded systems to interact with other systems is growing fast, we see great opportunities in introducing the hardware-in-the-loop technique to the field of ha...
JCNS
2011
14 years 9 months ago
2011
To understand the functional connectivity of neural networks, it is important to develop simple and incisive descriptors of multineuronal firing patterns. Analysis at the pairwise...
127
click to vote
SMA
2009
ACM
15 years 9 months ago
2009
ACM
Many algorithms for shape analysis and shape processing rely on accurate estimates of differential information such as normals and curvature. In most settings, however, care must...
153
click to vote
ICDE
2012
IEEE
13 years 5 months ago
2012
IEEE
— Uncertainties in data arise for a number of reasons: when the data set is incomplete, contains conflicting information or has been deliberately perturbed or coarsened to remov...
115
click to vote
PODC
2010
ACM
15 years 6 months ago
2010
ACM
: The Borowsky-Gafni (BG) simulation algorithm is a powerful reduction algorithm that shows that t-resilience of decision tasks can be fully characterized in terms of wait-freedom....