Sciweavers

439 search results - page 9 / 88
» On Aperiodic Trace Languages
Sort
View
VDB
2000
135views Database» more  VDB 2000»
13 years 9 months ago
Query-By-Trace: Visual Predicate Specification in Spatio-Temporal Databases
In this paper we propose a visual interface for the specification of predicates to be used in queries on spatio-temporal databases. The approach is based on a visual specification ...
Martin Erwig, Markus Schneider
IANDC
2006
52views more  IANDC 2006»
13 years 7 months ago
Incompleteness of states w.r.t. traces in model checking
Cousot and Cousot introduced and studied a general past/future-time specification language, called
Roberto Giacobazzi, Francesco Ranzato
EGH
2010
Springer
13 years 5 months ago
AnySL: efficient and portable shading for ray tracing
While a number of different shading languages have been developed, their efficient integration into an existing renderer is notoriously difficult, often boiling down to implementi...
Ralf Karrenberg, Dmitri Rubinstein, Philipp Slusal...
JAVA
2000
Springer
13 years 11 months ago
Generating Java trace data
We describe a system for gathering and analyzing Java trace data. The system provides relatively complete data collection from large Java systems. It also provides a variety of di...
Steven P. Reiss, Manos Renieris
OOPSLA
2005
Springer
14 years 1 months ago
Adding trace matching with free variables to AspectJ
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspec...
Chris Allan, Pavel Avgustinov, Aske Simon Christen...