2370 search results - page 211 / 474 » On the Revival of Dynamic Languages |
186
click to vote
ICALP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We obtain new results regarding the precise average bitcomplexity of five algorithms of a broad Euclidean type. We develop a general framework for analysis of algorithms,...
171
click to vote
ATAL
1995
Springer
15 years 11 months ago
1995
Springer
This paper describes an implementation of the 3T robot architecture which has been under development for the last eight years. The architecs three levels of abstraction and descri...
210
click to vote
ICALP
1997
Springer
15 years 11 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
223
click to vote
ECOOP
1995
Springer
15 years 11 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
178
click to vote
ICALP
1995
Springer
15 years 11 months ago
1995
Springer
We consider the problem of preprocessing an n-vertex digraph with real edge weights so that subsequent queries for the shortest path or distance between any two vertices can be efï...