1052 search results - page 142 / 211 » The Brandeis Annotation Tool |
WCET
2007
13 years 9 months ago
2007
To calculate the WCET of a program, safe upper bounds on the number of loop iterations for all loops in the program are needed. As the manual annotation of all loops with such bou...
CADE
2010
Springer
13 years 9 months ago
2010
Springer
Craig interpolation has become a versatile tool in formal verification, for instance to generate intermediate assertions for safety analysis of programs. Interpolants are typically...
CIDR
2009
13 years 9 months ago
2009
Enterprise environments have isolated teams responsible separately for database management and the management of underlying networkattached server-storage infrastructure (referred...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
The need to deal with vague information in Semantic Web languages is rising in importance and, thus, calls for a standard way to represent such information. We may address this is...
IJWBC
2008
13 years 8 months ago
2008
In many research settings, bibliographies are a central resource for collecting information about related work, keeping track of the own research record, and annotating this infor...