4126 search results - page 394 / 826 » Set based logic programming |
168
Voted
DAGSTUHL
1996
15 years 6 months ago
1996
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
127
click to vote
ISCA
2005
IEEE
15 years 10 months ago
2005
IEEE
As processor speeds increase and memory latency becomes more critical, intelligent design and management of secondary caches becomes increasingly important. The efficiency of curr...
127
Voted
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
152
Voted
JMLR
2012
13 years 7 months ago
2012
“Energy” models for continuous domains can be applied to many problems, but often suffer from high computational expense in training, due to the need to repeatedly minimize t...
115
click to vote
PPDP
2000
Springer
15 years 8 months ago
2000
Springer
Events play an important role in the construction of most software that involves interaction or simulation. Typically, programmers make use of a fixed set of low level events supp...