5064 search results - page 754 / 1013 » Recent Developments in Gridsolve |
178
click to vote
POPL
1992
ACM
15 years 10 months ago
1992
ACM
Polymorphic record calculi have recently attracted much attention as a typed foundation for objectoriented programming. This is based on the fact that a function that selects a fi...
148
click to vote
MOVEP
2000
15 years 10 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
180
click to vote
AIPS
2008
15 years 9 months ago
2008
In the planning-as-SAT paradigm there have been numerous recent developments towards improving the speed and scalability of planning at the cost of finding a step-optimal parallel...
231
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Abstract Current, data-driven applications have become more dynamic in nature, with the need to respond to events generated from distributed sources or to react to information extr...
184
click to vote
DAGSTUHL
1996
15 years 8 months ago
1996
Recently, considerable advances have been made in the (on-line) control of logic program specialisation. A clear conceptual distinction has been established between local and glob...