2500 search results - page 182 / 500 » Specifying Behavior in C |
139
Voted
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
A Web service is a software system designed to support interoperable application-to-application interactions over the Internet. Recently, there has been a growing interest in Web ...
146
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SaC, whic...
121
Voted
VTS
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we identify two main bottlenecks in the functional diagnosis flow and propose new ways to overcome these. Our approach completely eliminates the “Primary Input (P...
146
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Algorithmic skeletons can be used to write architecture independent programs, shielding application developers from the details of a parallel implementation. In this paper, we pre...
143
Voted
ISMAR
2006
IEEE
15 years 9 months ago
2006
IEEE
We describe and evaluate a new tracking concept for outdoor Augmented Reality. A few mobile beacons added to the environment correct errors in head-worn inertial and GPS sensors. ...