Sciweavers

1027 search results - page 141 / 206
» Language Support for Connector Abstractions
Sort
View
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 10 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
LCR
1998
Springer
109views System Software» more  LCR 1998»
15 years 10 months ago
Expressing Irregular Computations in Modern Fortran Dialects
Abstract. Modern dialects of Fortran enjoy wide use and good support on highperformance computers as performance-oriented programming languages. By providing the ability to express...
Jan Prins, Siddhartha Chatterjee, Martin Simons
VW
1998
Springer
174views Virtual Reality» more  VW 1998»
15 years 10 months ago
Webots: Symbiosis Between Virtual and Real Mobile Robots
Abstract. This paper presents Webots: a realistic mobile robot simulator allowing a straightforward transfer to real robots. The simulator currently support the Khepera mobile robo...
Olivier Michel
ALP
1997
Springer
15 years 10 months ago
Optimal Non-deterministic Functional Logic Computations
Abstract. We show that non-determinism simplifies coding certain problems into programs. We define a non-confluent, but well-behaved class of rewrite systems for supporting non-...
Sergio Antoy
SIGIR
1996
ACM
15 years 10 months ago
A Deductive Data Model for Query Expansion
We present a deductive data model for concept-based query expansion. It is based abstraction levels: the conceptual, the expression and the occurrence level. Concepts and their re...
Kalervo Järvelin, Jaana Kristensen, Timo Niem...