860 search results - page 39 / 172 » A Novel Approach to Parenting in Functional Program Evaluati... |
LISP
2002
13 years 8 months ago
2002
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
PODS
2010
ACM
14 years 1 months ago
2010
ACM
This paper approaches the incremental view maintenance problem from an algebraic perspective. We construct a ring of databases and use it as the foundation of the design of a quer...
MICCAI
2008
Springer
14 years 10 months ago
2008
Springer
Aortic valve disease is an important cardio-vascular disorder, which affects 2.5% of the global population and often requires elaborate clinical management. Experts agree that visu...
CGO
2003
IEEE
14 years 2 months ago
2003
IEEE
Given the high cost of producing software, development of technology for prevention of software piracy is important for the software industry. In this paper we present a novel app...