1239 search results - page 149 / 248 » Control Generation for Logic Programs |
EUROMICRO
2004
IEEE
13 years 11 months ago
2004
IEEE
Today, security is recognized as an absolute need in application development. Programming environments offer mechanisms and concepts allowing an easy integration of security mecha...
FTCS
1994
13 years 9 months ago
1994
This paper examines architectural techniques for providing concurrent error detection in self-timed VLSI pipelines. Signal pairs from Differential Cascode Voltage Switch Logic are...
ICCD
1992
IEEE
14 years 3 days ago
1992
IEEE
We describe a new synthesis procedure for designing asynchronous controllers from burst-mode specifications, a class of specifications allowing multiple input change fundamental m...
COLING
1994
13 years 9 months ago
1994
This paper presents a novel technique called "universal guides" which explores inherent properties of logic grammars (changing variable binding status) in order to chara...
CCS
2009
ACM
14 years 8 months ago
2009
ACM
Inlined Reference Monitor (IRM) is an established enforcement mechanism for history-based access control policies. IRM enforcement injects monitoring code into the binary of an un...