3825 search results - page 317 / 765 » The Language of Time: A Reader |
130
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
In this paper we introduce a new method for bounding the solution to constraint optimization problems called semi-independent partitioning. We show that our method is a strict gene...
154
click to vote
CONTENT
2001
Springer
15 years 11 months ago
2001
Springer
A development environment for RenderMan shaders has been implemented, allowing the SL programmer to observe the bahaviour of variables in both time and space. By allowing both nov...
174
click to vote
PACT
2001
Springer
15 years 11 months ago
2001
Springer
In the framework of distributed object systems, this paper presents the concepts and an implementation of an overlapping mechanism between communication and computation. This mecha...
145
click to vote
SAS
1993
Springer
15 years 10 months ago
1993
Springer
We give upper bounds on the number of times the fixed point operator needs to be unfolded for strictness analysis of functional languages with lists. This extends previous work b...
218
click to vote
KR
1991
Springer
15 years 10 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...