3995 search results - page 430 / 799 » Model-Driven Design of Distributed Applications |
133
click to vote
EUROSIM
1994
15 years 8 months ago
1994
This paper introduces Pact, a new model for parallel heuristic programming on MIMD machines. Designed and implemented as an integrated tool environment, Pact allows the user to dev...
189
click to vote
ENTCS
2008
15 years 6 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
191
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
With aggressive superscalar processors delivering diminishing returns, alternate designs that make good use of the increasing chip densities are actively being explored. One such ...
202
click to vote
HPCA
2011
IEEE
14 years 10 months ago
2011
IEEE
Queues are commonly used in multithreaded programs for synchronization and communication. However, because software queues tend to be too expensive to support finegrained paralle...
199
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Handling mobility at the transport layer is a promising approach to achieve seamless handover in the context of heterogeneous wireless access networks. In particular, fe...