1133 search results - page 28 / 227 » Local Logics for Traces |
107
click to vote
DAGSTUHL
1996
15 years 2 months ago
1996
Recently, considerable advances have been made in the (on-line) control of logic program specialisation. A clear conceptual distinction has been established between local and glob...
112
Voted
LISP
2008
15 years 18 days ago
2008
Abstract. Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trac...
102
Voted
TVLSI
2010
14 years 7 months ago
2010
Hardware debuggers and logic analyzers must be able to record a continuous trace of data. Since the trace data are tremendous, to save space, these traces are often compressed. The...
117
click to vote
MOBIHOC
2008
ACM
16 years 7 days ago
2008
ACM
In order to better understand human and animal mobility and its potential effects on Mobile Ad-Hoc networks and Delay-Tolerant Networks, many researchers have conducted experiment...
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...