Sciweavers

4421 search results - page 652 / 885
» Libraries
Sort
View
110
Voted
ICSE
2001
IEEE-ACM
15 years 6 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...
ISRR
2001
Springer
135views Robotics» more  ISRR 2001»
15 years 6 months ago
OpenHRP: Open Architecture Humanoid Robotics Platform
This paper introduces an open architecture humanoid robotics platform (OpenHRP for short) on which various building blocks of humanoid robotics can be investigated. OpenHRP is a v...
Hirohisa Hirukawa, Fumio Kanehiro, Shuuji Kajita
JAVA
2001
Springer
15 years 6 months ago
High-performance Java codes for computational fluid dynamics
The computational science community is reluctant to write largescale computationally-intensive applications in Java due to concerns over Java’s poor performance, despite the cla...
Christopher Riley, Siddhartha Chatterjee, Rupak Bi...
JAVA
2001
Springer
15 years 6 months ago
Object-based collective communication in Java
CCJ is a communication library that adds MPI-like collective operations to Java. Rather than trying to adhere to the precise MPI syntax, CCJ aims at a clean integration of collect...
Arnold Nelisse, Thilo Kielmann, Henri E. Bal, Jaso...
SAS
2001
Springer
117views Formal Methods» more  SAS 2001»
15 years 6 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...