4469 search results - page 227 / 894 » Dynamic Program Slicing |
VISUAL
1999
Springer
14 years 12 days ago
1999
Springer
The FRAMES project is developing a system for video database search, content-based retrieval, and virtual video program synthesis. For dynamic synthesis applications, a video progr...
FPL
2008
Springer
13 years 9 months ago
2008
Springer
Many of today's software-to-hardware compiler projects try to find dataflow parallelism in a sequential program description and use it to generate parallel running hardware c...
ICMCS
2010
IEEE
13 years 8 months ago
2010
IEEE
In this paper, an approach that estimates the times at which musical beats occur is presented. The system uses a hybrid multi-band decomposition in order to estimate the music tem...
GTTSE
2007
Springer
15 years 6 months ago
2007
Springer
As domain-specific languages (DSLs) permeate into mainstream software engineering, there is a need for economic methods for implementing languages. Following up on a paper with a s...
ESORICS
2007
Springer
14 years 2 months ago
2007
Springer
Obligations are pervasive in modern systems, often linked to access control decisions. We present a very general model of obligations as objects with state, and discuss its interac...