1204 search results - page 113 / 241 » Termination of Polynomial Programs |
111
click to vote
CL
2000
Springer
15 years 5 months ago
2000
Springer
In this paper, an algorithm for obtaining consistent answers to queries posed to inconsistent relational databases is presented. The algorith is proven to be sound, terminating and...
220
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
105
Voted
DATE
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--This paper summarizes a special session on multicore/multi-processor system-on-chip (MPSoC) programming challenges. Wireless multimedia terminals are among the key driver...
109
click to vote
ICFP
2008
ACM
16 years 21 days ago
2008
ACM
Command-oriented functional programs are currently structured in an ad hoc way that makes the development of multiple userinterfaces difficult and error prone, and makes it diffic...
119
Voted
GECCO
2009
Springer
15 years 7 months ago
2009
Springer
Search spaces sampled by the process of Genetic Programming often consist of programs which can represent a function in many different ways. Thus, when the space is examined it i...