447 search results - page 20 / 90 » Towards Computability of Higher Type Continuous Data |
CCS
2009
ACM
14 years 1 months ago
2009
ACM
Open distributed systems such as service oriented architecture and cloud computing have emerged as promising platforms to deliver software as a service to users. However, for many...
ICMI
2010
Springer
13 years 4 months ago
2010
Springer
Using a new hand tracking technology capable of tracking 3D hand postures in real-time, we developed a recognition system for continuous natural gestures. By natural gestures, we ...
MONET
2002
13 years 6 months ago
2002
Data broadcasting as a means of efficient data dissemination is a key technology facilitating ubiquitous computing. For this reason, broadcast scheduling algorithms have received ...
IPPS
2009
IEEE
14 years 1 months ago
2009
IEEE
Through the algorthmic design patterns of data parallelism and task parallelism, the graphics processing unit (GPU) offers the potential to vastly accelerate discovery and innovat...
FOSSACS
2007
Springer
14 years 27 days ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...