Sciweavers

2819 search results - page 331 / 564
» Automatic Structures
Sort
View
APLAS
2004
ACM
15 years 9 months ago
PType System: A Featherweight Parallelizability Detector
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu
ATAL
2004
Springer
15 years 9 months ago
Motion and Episode Models for (Simulated) Football Games: Acquisition, Representation, and Use
One of the key problems in the study of multi agent systems in which the agents exhibit continuous behavior is the automatic recognition and analysis of intentional activities bas...
Michael Beetz, Thomas Stammeier, Sven Flossmann
EWSA
2004
Springer
15 years 9 months ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
KES
2004
Springer
15 years 9 months ago
Ontological Representations of Software Patterns
This paper1 is based on and advocates the trend in software engineering of extending the use of software patterns as means of structuring solutions to software development problems...
Jean-Marc Rosengard, Marian Florin Ursu
MPC
2004
Springer
155views Mathematics» more  MPC 2004»
15 years 9 months ago
Inferring Type Isomorphisms Generically
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
Frank Atanassow, Johan Jeuring