745 search results - page 127 / 149 » The Functional Side of Logic Programming |
114
click to vote
VIS
2003
IEEE
16 years 28 days ago
2003
IEEE
This paper presents a signed distance transform algorithm using graphics hardware, which computes the scalar valued function of the Euclidean distance to a given manifold of co-di...
95
Voted
MICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
DAC
2007
ACM
16 years 22 days ago
2007
ACM
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...
WWW
2007
ACM
16 years 12 days ago
2007
ACM
Data-driven web applications are usually structured in three tiers with different programming models at each tier. This division forces developers to manually partition applicatio...
209
click to vote
POPL
2002
ACM
16 years 1 days ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...