1346 search results - page 122 / 270 » Alternating-time dynamic logic |
139
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
114
click to vote
MICRO
1998
IEEE
15 years 7 months ago
1998
IEEE
The fill unit is the structure which collects blocks of instructions and combines them into multi-block segments for storage in a trace cache. In this paper, we expand the role of...
131
Voted
DAC
1994
ACM
15 years 7 months ago
1994
ACM
A powerful combinational path sensitization engine is required for the efficient implementation of tools for test pattern generation, timing analysis, and delay fault testing. Path...
144
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
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...
114
click to vote
FPL
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we present the design and implementation of a dynamically reconfigurable system for packet queue scheduling. Two widely accepted queue schedulers have been implement...