Sciweavers

3921 search results - page 686 / 785
» Transforming Models with ATL
Sort
View
APN
1997
Springer
14 years 2 months ago
Life-Cycle Inheritance: A Petri-Net-Based Approach
Abstract. Inheritance is one of the key issues of object-orientation. The inheritance mechanism allows for the definition of a subclass which inherits the features of a specific ...
Wil M. P. van der Aalst, Twan Basten
ICPP
1996
IEEE
14 years 2 months ago
Polynomial-Time Nested Loop Fusion with Full Parallelism
Data locality and synchronization overhead are two important factors that affect the performance of applications on multiprocessors. Loop fusion is an effective way for reducing s...
Edwin Hsing-Mean Sha, Chenhua Lang, Nelson L. Pass...
ICRA
1994
IEEE
127views Robotics» more  ICRA 1994»
14 years 2 months ago
A Comparison of Position Estimation Techniques Using Occupancy Grids
A mobile robot requires perception of its local environment for both sensor based locomotion and for position estimation. Occupancy grids, based on ultrasonic range data, provide ...
Bernt Schiele, James L. Crowley
ICS
1994
Tsinghua U.
14 years 2 months ago
Compiler and runtime support for out-of-core HPF programs
This paper describes the design of a compiler which can translate out-of-core programs written in a data parallel language like HPF. Such a compiler is required for compiling larg...
Rajeev Thakur, Rajesh Bordawekar, Alok N. Choudhar...
ICDT
1990
ACM
110views Database» more  ICDT 1990»
14 years 2 months ago
Beginnings of a Theory of General Database Completions
Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. M...
Stefan Brass