2333 search results - page 396 / 467 » Recursive Computational Depth |
181
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program. In this paper, ...
103
click to vote
EDBT
2006
ACM
16 years 21 days ago
2006
ACM
Skyline queries help users make intelligent decisions over complex data, where different and often conflicting criteria are considered. Current skyline computation methods are rest...
103
Voted
ICFP
2008
ACM
16 years 16 days ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
121
click to vote
ICCD
2005
IEEE
15 years 9 months ago
2005
IEEE
Simultaneous multithreading (SMT) seeks to improve the computation throughput of a processor core by sharing primary resources such as functional units, issue bandwidth, and cache...
107
Voted
PADL
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We study a number of embedded DSLs for autonomous ordinary differential equations (autonomous ODEs) in Haskell. A naive implementation based on the lazy tower of derivat...