308 search results - page 37 / 62 » Symbolic execution of data paths |
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...
INFOCOM
2000
IEEE
15 years 6 months ago
2000
IEEE
—Bowman is an extensible platform for active networking: it layers active-networking functionality in user-space software over variants of the System V UNIX operating system. The...
110
click to vote
ICNP
2007
IEEE
15 years 8 months ago
2007
IEEE
—Data structures representing directed graphs with edges labeled by symbols from a finite alphabet are used to implement packet processing algorithms used in a variety of network...
149
click to vote
BTW
2005
Springer
15 years 7 months ago
2005
Springer
Abstract: Peer data management systems (PDMS) are the natural extension of integrated information systems. Conventionally, a single integrating system manages an integrated schema,...
213
click to vote
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
Many scientific, financial, data mining and sensor network applications need to work with continuous, rather than discrete data e.g., temperature as a function of location, or sto...