Sciweavers

5171 search results - page 520 / 1035
» Deterministic Parallel Processing
Sort
View
TASE
2009
IEEE
15 years 11 months ago
State Visibility and Communication in Unifying Theories of Programming
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
Andrew Butterfield, Pawel Gancarski, Jim Woodcock
CDC
2008
IEEE
163views Control Systems» more  CDC 2008»
15 years 11 months ago
A cooperative deployment strategy for optimal sampling in spatiotemporal estimation
— This paper considers a network composed of robotic agents and static nodes performing spatial estimation of a dynamic physical processes. The physical process is modeled as a s...
Rishi Graham, Jorge Cortés
148
Voted
CCGRID
2007
IEEE
15 years 11 months ago
Profiling Computation Jobs in Grid Systems
The existence of good probabilistic models for the job arrival process and job characteristics is important for the improved understanding of grid systems and the prediction of th...
Michael Oikonomakos, Kostas Christodoulopoulos, Em...
135
Voted
ICDCSW
2006
IEEE
15 years 11 months ago
Benchmarking a Semantic Web Service Architecture for Fault-tolerant B2B Integration
With the development and maturity of ServiceOriented Architectures (SOA) to support business-tobusiness transactions, organizations are implementing Web services to expose their p...
Jorge Cardoso
JVA
2006
IEEE
15 years 10 months ago
Features of Future Network Processor Architectures
As network applications are becoming increasingly sophisticated and internet traffic is getting heavier, future network processors must continue processing computation-intensive ...
Kyueun Yi, Jean-Luc Gaudiot