Sciweavers

3660 search results - page 468 / 732
» Parallel Program Archetypes
Sort
View
ICALP
2005
Springer
16 years 5 days ago
The Polyranking Principle
Although every terminating loop has a ranking function, not every loop has a ranking function of a restricted form, such as a lexicographic tuple of polynomials over program variab...
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
155
Voted
LCTRTS
2005
Springer
16 years 4 days ago
Nonintrusive precision instrumentation of microcontroller software
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...
Ben Titzer, Jens Palsberg
MIDDLEWARE
2005
Springer
16 years 4 days ago
Matrix: Adaptive Middleware for Distributed Multiplayer Games
Building a distributed middleware infrastructure that provides the low latency required for massively multiplayer games while still maintaining consistency is non-trivial. Previous...
Rajesh Krishna Balan, Maria Ebling, Paul Castro, A...
GRID
2004
Springer
16 years 1 days ago
An Early Evaluation of WSRF and WS-Notification via WSRF.NET
The Web Services Resource Framework (WSRF) and its companion WS-Notification were introduced in January 2004 as a new model on which to build Grids. This paper contains early obse...
Marty A. Humphrey, Glenn S. Wasson, Mark M. Morgan...
PVM
2004
Springer
16 years 3 hour ago
A New MPI Implementation for Cray SHMEM
Abstract. Previous implementations of MPICH using the Cray SHMEM interface existed for the Cray T3 series of machines, but these implementations were abandoned after the T3 series ...
Ron Brightwell