Sciweavers

10707 search results - page 450 / 2142
» Designing executable abstractions
Sort
View
LCPC
2009
Springer
15 years 10 months ago
Fastpath Speculative Parallelization
Abstract. We describe Fastpath, a system for speculative parallelization of sequential programs on conventional multicore processors. Our system distinguishes between the lead thre...
Michael F. Spear, Kirk Kelsey, Tongxin Bai, Luke D...
CEEMAS
2001
Springer
15 years 10 months ago
A Programming Language for Coordinating Group Actions
Abstract. Coordination and cooperation are crucial notions in multi-agent systems. We provide a constraint programming language called GrAPL, with facilities for group communicatio...
Wieke de Vries, Frank S. de Boer, Koen V. Hindriks...
CRYPTO
2001
Springer
97views Cryptology» more  CRYPTO 2001»
15 years 10 months ago
Two-Party Generation of DSA Signatures
d Abstract) Philip MacKenzie and Michael K. Reiter Bell Labs, Lucent Technologies, Murray Hill, NJ, USA We describe a means of sharing the DSA signature function, so that two parti...
Philip D. MacKenzie, Michael K. Reiter
179
Voted
MA
2001
Springer
118views Communications» more  MA 2001»
15 years 10 months ago
Dynamic Adaptation of Mobile Agents in Heterogenous Environments
Mobile agents must be prepared to execute on different hosts and therefore in different execution environments. Even when a homogenous exenvironment is offered by abstracting th...
Raimund Brandt, Helmut Reiser
ICPADS
2000
IEEE
15 years 10 months ago
Object-Oriented Real-Time Distributed Programming and Support Middleware
Abstract: The object-oriented (OO) distributed realtime (RT) programming movement started in 1990's and is growing rapidly at this turn of the century. The motivations are rev...
K. H. Kim