9316 search results - page 1547 / 1864 » Analysis of traceback techniques |
171
click to vote
HYBRID
1994
Springer
15 years 10 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
159
click to vote
PLILP
1993
Springer
15 years 10 months ago
1993
Springer
Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for ...
180
click to vote
PPOPP
1993
ACM
15 years 10 months ago
1993
ACM
A vast body of theoretical research has focused either on overly simplistic models of parallel computation, notably the PRAM, or overly specific models that have few representati...
216
click to vote
SEKE
1993
Springer
15 years 10 months ago
1993
Springer
Many reported difficulties with real-life applications of knowledge-based technology stem from the fact that the traditionally performed prototyping projects are hard to manage an...
202
click to vote
SIGMOD
1993
ACM
15 years 10 months ago
1993
ACM
We describe the design and implementation of the Glue-Nail database system. The Nail language is a purely declarative query language; Glue is a procedural language used for nonque...