2838 search results - page 435 / 568 » Verifying Controlled Components |
146
Voted
FROCOS
2011
Springer
14 years 14 days ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
151
click to vote
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
—Location sharing is a fundamental component of mobile online social networks (mOSNs), which also raises significant privacy concerns. The mOSNs collect a large amount of locati...
131
Voted
NOCS
2008
IEEE
15 years 7 months ago
2008
IEEE
We present a methodology to debug a SOC by concentrating on its communication. Our extended communication model includes a) multiple signal groups per interface protocol at each I...
95
Voted
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
Given a switched multi–inventory system we wish to find the optimal schedule of the resets to maintain the system in a safe operating interval, while minimizing a function relat...
106
click to vote
IPSN
2007
Springer
15 years 7 months ago
2007
Springer
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...