13734 search results - page 245 / 2747 » Abstractions of data types |
161
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
166
click to vote
SEKE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Runtime monitoring, where some part of a program’s behavior and/or data is observed during execution, is a very useful technique that software developers to use for un...
177
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...
167
click to vote
ICSM
2008
IEEE
16 years 28 days ago
2008
IEEE
An automated approach to the identification of C++0x concepts in function templates is described. Concepts are part of a new language feature appearing in the next standard for C+...
171
click to vote
BROADNETS
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— Encounter-based network is a frequentlydisconnected wireless ad-hoc network requiring immediate neighbors to store and forward aggregated data for information dissemina...