IFIP
1993
Springer
13 years 12 months ago
1993
Springer
When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in pa...
ICALP
1994
Springer
13 years 12 months ago
1994
Springer
ICALP
1994
Springer
13 years 12 months ago
1994
Springer
A hash table is a representation of a set in a linear size data structure that supports constanttime membership queries. We show how to construct a hash table for any given set of...
ICALP
1994
Springer
13 years 12 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
ICALP
1994
Springer
13 years 12 months ago
1994
Springer
ICALP
1994
Springer
13 years 12 months ago
1994
Springer
We introduce a formal framework to study the time and space complexity of computing with faulty memory. For the fault-free case, time and space complexities were studied using the...
ICALP
1994
Springer
13 years 12 months ago
1994
Springer
ICALP
1994
Springer
13 years 12 months ago
1994
Springer
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...
IFIP
1993
Springer
13 years 12 months ago
1993
Springer
A new type of computer-aided engineering environment is envisioned which will improve the productivity of manufacturing/industrial engineers. This environment would be used by eng...
IFIP
1993
Springer
13 years 12 months ago
1993
Springer
The Fluor Daniel Company, a major engineering consulting and construction firm, is applying the Purdue Enterprise Reference Architecture and Methodology (PERA) to their project wo...