6201 search results - page 920 / 1241 » Implementation of Axiomatic Language |
180
click to vote
SIGCSE
2005
ACM
16 years 10 days ago
2005
ACM
In this paper we describe how a single Khepera II robot was used for an assignment in a senior level course on graphical user interface implementation. The assignment required eac...
193
click to vote
ADAEUROPE
2005
Springer
16 years 10 days ago
2005
Springer
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...
165
click to vote
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
A union-find data structure maintains a collection of disjoint sets under makeset, union and find operations. Kaplan, Shafrir and Tarjan [SODA 2002] designed data structures for ...
127
click to vote
IVA
2005
Springer
16 years 8 days ago
2005
Springer
INTERFACE is an integrated software implemented in Matlab© and created to speed-up the procedure for building an emotive/expressive talking head. Various processing tools, working...
168
click to vote
PVM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The Fortran language has evolved substantially from the Fortran 77 bindings defined in the MPI-1 (Message Passing Interface) standard. Fortran 90 introduced interface bl...