Sciweavers

8 search results - page 1 / 2
» spin 2012
Sort
View
SPIN
2012
Springer
11 years 6 months ago
Model Checking DSL-Generated C Source Code
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
Martin Sulzmann, Axel Zechner
WMCSA
2012
IEEE
11 years 11 months ago
SpinLoc: spin once to know your location
The rapid growth of location-based applications has spurred extensive research on localization. Nonetheless, indoor localization remains an elusive problem mostly because the accu...
Souvik Sen, Romit Roy Choudhury, Srihari Nelakudit...
SPIN
2012
Springer
11 years 6 months ago
SMTInterpol: An Interpolating SMT Solver
Abstract. Craig interpolation is an active research topic and has become a powerful technique in verification. We present SMTInterpol, an interpolating SMT solver for the quanti...
Jürgen Christ, Jochen Hoenicke, Alexander Nut...
CORR
2012
Springer
201views Education» more  CORR 2012»
11 years 11 months ago
Signal Recovery on Incoherent Manifolds
Suppose that we observe noisy linear measurements of an unknown signal that can be modeled as the sum of two component signals, each of which arises from a nonlinear sub-manifold ...
Chinmay Hegde, Richard G. Baraniuk
AAAI
2012
11 years 6 months ago
A Spin-Glass Model for Semi-Supervised Community Detection
Current modularity-based community detection methods show decreased performance as relational networks become increasingly noisy. These methods also yield a large number of divers...
Eric Eaton, Rachael Mansbach