Sciweavers

7529 search results - page 383 / 1506
» The Modula-3 Type System
Sort
View
FLAIRS
2000
15 years 8 months ago
Verification of Cooperating Systems - An Approach Based on Formal Languages
Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding ion, alphabetic language homomorphisms are compute abstract behaviours. To a...
Peter Ochsenschläger, Jürgen Repp, Rolan...
AUTOMATICA
2007
75views more  AUTOMATICA 2007»
15 years 7 months ago
System theory for numerical analysis
Many numerical schemes can be suitably studied from a system theoretic point of view. This paper studies the relationship between the two disciplines, that is, numerical analysis ...
Kenji Kashima, Yutaka Yamamoto
FUIN
2006
93views more  FUIN 2006»
15 years 6 months ago
Membrane Computing and Economics: Numerical P Systems
Abstract. With inspiration from the economic reality, where numbers are basic entities to work with, we propose a genuinely new kind of P systems, where numerical variables evolve,...
Gheorghe Paun, Radu A. Paun
IOR
2007
58views more  IOR 2007»
15 years 6 months ago
Bounds, Heuristics, and Approximations for Distribution Systems
This paper develops simple approximate methods to analyze a two-stage stochastic distribution system consisting of one warehouse and multiple retailers. We consider local and cent...
Guillermo Gallego, Özalp Özer, Paul H. Z...
JCIT
2007
98views more  JCIT 2007»
15 years 6 months ago
Load Indices on Heterogeneous Systems- Past, Present and Future
To achieve superior performance levels when working with heterogeneous distributed platforms, processscheduling decisions must be based essentially on the platform’s features an...
Kalinka Regina Lucas Jaquie Castelo Branco, Edward...