4940 search results - page 663 / 988 » On the Complexity of Universal Programs |
174
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Despite much research in the area of wireless sensor networks in recent years, the programming of sensor nodes is still time-consuming and tedious. A new paradigm which seems to b...
194
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
191
click to vote
IEEEIAS
2009
IEEE
16 years 1 months ago
2009
IEEE
: There are two main approaches for implementing IDS; Host based and Network based. While the former is implemented in form of software deployed on a host, the latter, usually is b...
163
click to vote
IISWC
2009
IEEE
16 years 1 months ago
2009
IEEE
Recent benchmark suite releases such as Parsec specifically utilise the tightly coupled cores available in chipmultiprocessors to allow the use of newer, high performance, models ...
195
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...