Sciweavers

349 search results - page 12 / 70
» A New Approach to Scalable Linda-systems Based on Swarms
Sort
View
VMCAI
2009
Springer
15 years 4 months ago
SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
Abstract. We introduce Subpolyhedra (SubPoly) a new numerical abstract domain to infer and propagate linear inequalities. SubPoly is as expressive as Polyhedra, but it drops some o...
Vincent Laviron, Francesco Logozzo
79
Voted
INFOCOM
2003
IEEE
15 years 2 months ago
A scalable and lightweight QoS monitoring technique combining passive and active approaches: On the mathematical formulation of
— To make a scalable and lightweight QoS monitoring system, we have proposed a new QoS monitoring technique, Change-of-Measure based Passive/Active Monitoring (CoMPACT Monitor), ...
Masaki Aida, Naoto Miyoshi, Keisuke Ishibashi
CGF
2010
210views more  CGF 2010»
14 years 9 months ago
Fast and Scalable CPU/GPU Collision Detection for Rigid and Deformable Surfaces
We present a new hybrid CPU/GPU collision detection technique for rigid and deformable objects based on spatial subdivision. Our approach efficiently exploits the massive computat...
Simon Pabst, Artur Koch, Wolfgang Straßer
MTA
2010
123views more  MTA 2010»
14 years 8 months ago
Embedded indexing in scalable video coding
Effective encoding and indexing of audiovisual documents are two key aspects for enhancing the multimedia user experience. In this paper we propose the embedding of low-level cont...
Nicola Adami, Alberto Boschetti, Riccardo Leonardi...
HICSS
2007
IEEE
116views Biometrics» more  HICSS 2007»
15 years 4 months ago
Fine-Grained and Scalable Approaches for Message Integrity
When we have multiple users compiling a single message, including shared contents, metadata, policy, and so on, the integrity of the contents created by individual users needs to ...
Joon S. Park, Ganesh Devarajan