479 search results - page 33 / 96 » Simple Modules for GRACE |
98
Voted
SIGADA
1998
Springer
15 years 6 months ago
1998
Springer
Despite substantial research on methods and tools for testing reusable modules, little help is available for the tester in the eld. Commercial tools for system testing are widely ...
100
click to vote
HICSS
1994
IEEE
15 years 6 months ago
1994
IEEE
Our research goal is to design systems that enable humans to teach tedious, repetitive, simple tasks to a computer. We propose here a learner/problem solver architecture for such ...
88
Voted
CODES
2001
IEEE
15 years 5 months ago
2001
IEEE
This paper presents a practical approach to communication synthesis for hardware/software system specified as tasks communicating through lossless blocking channels. It relies on ...
103
click to vote
ISER
2000
Springer
15 years 5 months ago
2000
Springer
: In the future, we propose that there will be largely self-sufficient robot colonies operating on distant planets and in harsh environments here on earth. A highly desirable quali...
113
Voted
SPLST
2003
15 years 3 months ago
2003
We integrate user-defined functions with semantic equations into standard Prolog. In order to interface them with Prolog, we introduce a single operator. If a predicate invocation...