Sciweavers

2555 search results - page 348 / 511
» Putting complex systems to work
Sort
View
CCECE
2006
IEEE
15 years 11 months ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner
ICMCS
2006
IEEE
144views Multimedia» more  ICMCS 2006»
15 years 11 months ago
A New Quantization for Rate Control with Frame Variation Consideration
— The main role of rate control in video coding is to handle a trade-off between a bandwidth limit and a video quality. In the low-delay video communication systems, its responsi...
Seonki Kim, Seong-Jae Lim
DOLAP
2006
ACM
15 years 11 months ago
Pre-aggregation with probability distributions
Motivated by the increasing need to analyze complex, uncertain multidimensional data this paper proposes probabilistic OLAP queries that are computed using probability distributio...
Igor Timko, Curtis E. Dyreson, Torben Bach Pederse...
UIST
2006
ACM
15 years 11 months ago
Personalizing routes
Navigation services (e.g., in-car navigation systems and online mapping sites) compute routes between two locations to help users navigate. However, these routes may direct users ...
Kayur Patel, Mike Y. Chen, Ian E. Smith, James A. ...
CIMCA
2005
IEEE
15 years 11 months ago
Applying a Web-Service-Based Model to Dynamic Service-Deployment
Owing to the increase in both heterogeneity and complexity in today’s networking systems, the need arises for an architecture for network-based services that provides flexibilit...
Christos Chrysoulas, Evangelos Haleplidis, Robert ...