8766 search results - page 643 / 1754 » Functional logic programming |
155
click to vote
SAMOS
2004
Springer
15 years 11 months ago
2004
Springer
— Architectural resources and program recurrences are the main limitations to the amount of Instruction-Level Parallelism (ILP) exploitable from loops, the most time-consuming pa...
159
click to vote
FOCS
1992
IEEE
15 years 10 months ago
1992
IEEE
Consider a convex set P in IRd and a piecewise polynomial concave function F: P IR. Let A be an algorithm that given a point x IRd computes F(x) if x P, or returns a concave po...
125
click to vote
KI
2002
Springer
15 years 5 months ago
2002
Springer
We present an extension of state-based planning from traditional Strips to function application, allowing to express operator effects as updates. As proposed in PDDL, fluent variab...
161
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper studies stabilization of polytopic delay difference inclusions via the Razumikhin approach. An example of a linear delay difference equation that is globally exponential...
156
click to vote
KBSE
2008
IEEE
16 years 19 days ago
2008
IEEE
Techniques to update executing programs are needed to maintain software for which downtime is not an option. Without guidelines, dynamic update may provoke unreliable and unpredic...