IFIP
1993
Springer
14 years 9 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
14 years 9 months ago
1994
Springer
ICALP
1994
Springer
14 years 9 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
14 years 9 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
14 years 9 months ago
1994
Springer
ICALP
1994
Springer
14 years 9 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
14 years 9 months ago
1994
Springer
ICALP
1994
Springer
14 years 9 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
14 years 9 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
14 years 9 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...