1884 search results - page 113 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
EUROMED
2010
14 years 8 months ago
2010
Abstract. In this paper, the concept of computational environment for processing of very large datasets (clouds of points with amount up to 1011 measurement points) obtained from 3...
108
click to vote
SG
2005
Springer
15 years 3 months ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...
193
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
Although chip-multiprocessors have become the industry standard, developing parallel applications that target them remains a daunting task. Non-determinism, inherent in threaded a...
TACAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inconsistent with B, and (3) expressed over the common ...
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—Peer-to-Peer (P2P) file sharing applications use multiple TCP connections between peers to transfer data. The aggressiveness and robustness of P2P technology remarkably...