2607 search results - page 375 / 522 » Complete Functional Synthesis |
140
click to vote
EDCC
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...
121
click to vote
CSFW
1998
IEEE
15 years 8 months ago
1998
IEEE
Existing work on inference detection for database systems mainly employ functional dependencies in the database schema to detect inferences. It has been noticed that analyzing the...
138
click to vote
ISPAN
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper is concerned with the transparent parallelisation of declarative database queries, based on theoretical principles. We have designed an entire database architecture sui...
108
click to vote
FSTTCS
1993
Springer
15 years 8 months ago
1993
Springer
A for-loop is somewhat similar to an inductive argument. Just as the truth of a proposition P(n + 1) depends on the truth of P(n), the correctness of iteration n+1 of a for-loop de...
131
click to vote
ICFP
2007
ACM
15 years 7 months ago
2007
ACM
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...