Sciweavers

2000 search results - page 148 / 400
» The Dynamics of Syntactic Knowledge
Sort
View
PLDI
2009
ACM
15 years 11 months ago
Flow-sensitive semantics for dynamic information flow policies
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
Niklas Broberg, David Sands
ICMCS
1999
IEEE
130views Multimedia» more  ICMCS 1999»
15 years 10 months ago
Dynamic Window-Constrained Scheduling for Multimedia Applications
This paper describes an algorithm, called Dynamic Window-Constrained Scheduling (DWCS), designed to meet the service constraints on packets from multiple, network-bound media stre...
Richard West, Karsten Schwan
MICRO
1999
IEEE
138views Hardware» more  MICRO 1999»
15 years 10 months ago
Dynamic 3D Graphics Workload Characterization and the Architectural Implications
Although PC-class 3D graphics hardware has made significant strides in the last several years, the underlying architectural design principles are still generally considered as a b...
Tulika Mitra, Tzi-cker Chiueh
PLDI
1992
ACM
15 years 10 months ago
Debugging Optimized Code with Dynamic Deoptimization
: SELF's debugging system provides complete source-level debugging (expected behavior) with globally optimized code. It shields the debugger from optimizations performed by th...
Urs Hölzle, Craig Chambers, David Ungar
ICLP
2010
Springer
15 years 10 months ago
Dynamic Magic Sets for Disjunctive Datalog Programs
Abstract. Answer set programming (ASP) is a powerful formalism for knowledge representation and common sense reasoning that allows disjunction in rule heads and nonmonotonic negati...
Mario Alviano