647 search results - page 21 / 130 » Implementation of MAP: A system for mobile assistant program... |
IISWC
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Dynamic runtimes can simplify parallel programming by automatically managing concurrency and locality without further burdening the programmer. Nevertheless, implementin...
EACL
2003
ACL Anthology
15 years 1 months ago
2003
ACL Anthology
We describe an implementation integrating a spoken dialogue system with a mobile robot, which the user can direct to specific locations, ask for information about its status, and...
104
click to vote
SC
2003
ACM
15 years 5 months ago
2003
ACM
This paper presents a compiler analysis for data communication for the purpose of transforming ordinary programs into ones that run on distributed systems. Such transformations ha...
189
click to vote
ICFP
2009
ACM
16 years 11 days ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
117
click to vote
FCCM
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents the porting of an RTOS Micro C/OS-II on a novel reconfigurable instruction cell based architecture which fills the gap between DSP, FPGA and ASIC with high per...