3931 search results - page 440 / 787 » Separation logic and abstraction |
165
click to vote
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
XPORT (eXtensible Profile-driven Overlay Routing Trees) is a generic data dissemination system that supports an extensible set of data types and profiles, and an optimization fr...
163
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we describe a compiler framework which can identify communication patterns for MPIbased parallel applications. This has the potential of providing significant perfo...
140
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
— Quadrature Σ∆ ADCs require a feedback path for both the I and the Q part of the complex feedback signal. If two separated multibit feedback DACs are used, mismatch among the...
189
click to vote
WETICE
2006
IEEE
16 years 1 months ago
2006
IEEE
By separating the process logic from the application code process management systems (PMS) offer promising perspectives for automation and management of business processes. Howeve...
192
click to vote
NETGAMES
2006
ACM
16 years 1 months ago
2006
ACM
Consistency maintenance of replicated data in multiplayer games is a challenging issue due to the performance constraints of real-time interactive applications. We present an appr...