Sciweavers

1185 search results - page 184 / 237
» Implementing Functional Languages: a tutorial
Sort
View
CIDR
2011
233views Algorithms» more  CIDR 2011»
13 years 1 months ago
Ibis: A Provenance Manager for Multi-Layer Systems
End-to-end data processing environments are often comprised of several independently-developed (sub-)systems, e.g. for engineering, organizational or historical reasons. Unfortuna...
Christopher Olston, Anish Das Sarma
MSS
2000
IEEE
113views Hardware» more  MSS 2000»
14 years 2 months ago
Jiro Storage Management
The Jiro™ technology provides an environment intended for the implementation of storage management solutions. A product based on Jiro technology is an implementation based on th...
Bruce K. Haddon, William H. Connor
DATE
2009
IEEE
122views Hardware» more  DATE 2009»
14 years 4 months ago
A MILP-based approach to path sensitization of embedded software
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
José C. Costa, José C. Monteiro
IFL
2003
Springer
14 years 3 months ago
Generic Graphical User Interfaces
It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In t...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...
ICRA
2002
IEEE
188views Robotics» more  ICRA 2002»
14 years 3 months ago
Control Architecture and Experiment of a Situated Robot System for Interactive Assembly
We present the development of and experiment with a robot system showing cognitive capabilities of children of three to four years. We focus on two topics: assembly by two hands a...
Jianwei Zhang, Alois Knoll