Sciweavers

2642 search results - page 60 / 529
» Merge-by-Wire: Algorithms and System Support
Sort
View
FASE
2006
Springer
15 years 8 months ago
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
Peter Csaba Ölveczky, Marco Caccamo
BIRTHDAY
2007
Springer
15 years 9 months ago
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
Abdessamad Imine, Michaël Rusinowitch
ICPPW
2006
IEEE
15 years 11 months ago
Retargeting Image-Processing Algorithms to Varying Processor Grain Sizes
Embedded computing architectures can be designed to meet a variety of application specific requirements. However, optimized hardware can require compiler support to realize the po...
Sam Sander, Linda M. Wills
181
Voted
ICWS
2009
IEEE
15 years 2 months ago
An Efficient Service Discovery Algorithm for Counting Bloom Filter-Based Service Registry
The Service registry, the yellow pages of ServiceOriented Architecture (SOA), plays a central role in SOAbased service systems. The service registry has to be scalable to manage l...
Shuxing Cheng, Carl K. Chang, Liang-Jie Zhang
133
Voted
ISM
2006
IEEE
86views Multimedia» more  ISM 2006»
15 years 11 months ago
CoINS: Context Sensitive Indoor Navigation System
The Context sensitive Indoor Navigation System (CoINS) implements an architecture to develop context-aware indoor user guidance services and applications. This paper presents a de...
Fernando Lyardet, Jan Grimmer, Max Mühlhä...