647 search results - page 43 / 130 » Implementation of MAP: A system for mobile assistant program... |
147
click to vote
ACSD
2009
IEEE
16 years 25 days ago
2009
IEEE
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...
169
click to vote
EUROPAR
2007
Springer
16 years 5 days ago
2007
Springer
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...
170
click to vote
MHCI
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we describe the experience of designing a collaborative learning activity for a traditional historical/cultural museum. The activity, based on a “Mystery in the M...
174
click to vote
TACAS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
156
click to vote
IEEEINTERACT
2003
IEEE
15 years 11 months ago
2003
IEEE
Speculative pre-execution is a promising prefetching technique which uses an auxiliary assisting thread in addition to the main program flow. A prefetching thread (p-thread), whic...