Sciweavers

1744 search results - page 190 / 349
» A Similarity-Driven Transfer System
Sort
View
CCGRID
2010
IEEE
15 years 7 months ago
Region-Based Prefetch Techniques for Software Distributed Shared Memory Systems
Although shared memory programming models show good programmability compared to message passing programming models, their implementation by page-based software distributed shared m...
Jie Cai, Peter E. Strazdins, Alistair P. Rendell
JCIT
2007
190views more  JCIT 2007»
15 years 6 months ago
A Two-layer Super-Peer based P2P Live Media Streaming System
Peer-to-peer (P2P) file sharing has become increasingly popular, accounting for as much as 70% of Internet traffic by some estimates. Recently, we have been witnessing the emergen...
Poo Kuan Hoong, Hiroshi Matsuo
MICCAI
2004
Springer
16 years 7 months ago
Rigid Registration of Freehand 3D Ultrasound and CT-Scan Kidney Images
This paper presents a method to register a preoperative CT volume to a sparse set of intraoperative US slices. In the context of percutaneous renal puncture, the aim is to transfer...
Antoine Leroy, Pierre Mozer, Yohan Payan, Jocelyne...
CAV
2009
Springer
119views Hardware» more  CAV 2009»
16 years 7 months ago
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
Eric Goubault, Franck Védrine, Karim Tekkal...
SARA
2009
Springer
16 years 1 months ago
Integrating Constraint Models for Sequential and Partial-Order Planning
Classical planning deals with finding a (shortest) sequence of actions transferring the world from its initial state to a state satisfying the goal condition. Traditional planning...
Roman Barták, Daniel Toropila