1100 search results - page 126 / 220 » Instrumenting annotated programs |
PLDI
2010
ACM
15 years 3 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
102
click to vote
ISCA
2012
IEEE
13 years 10 days ago
2012
IEEE
Efficient execution of well-parallelized applications is central to performance in the multicore era. Program analysis tools support the hardware and software sides of this effor...
160
click to vote
Book
"Libavl is a library in ANSI C for manipulation of various types of binary trees. This
book provides an introduction to binary tree techniques and presents all of Libavl’s ...
FSTTCS
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. Hybrid knowledge bases (HKB’s) [11] were developed to provide formal models for the mediation of data and knowledge bases [14,15]. They are based on Generalized Annotat...
100
click to vote
BDA
1993
14 years 11 months ago
1993
We show how structured data stored in files can benefit from standard database technology and in particular be queried and updated using database languages. We introduce the notio...