Sciweavers

3009 search results - page 456 / 602
» The Expressive Rate of Constraints
Sort
View
ICNP
2006
IEEE
16 years 17 days ago
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ri...
ICPP
2006
IEEE
16 years 17 days ago
A Stochastic Approach to Measuring the Robustness of Resource Allocations in Distributed Systems
Often, parallel and distributed computing systems must operate in an environment replete with uncertainty. Determining a resource allocation that accounts for this uncertainty in ...
Vladimir Shestak, Jay Smith, Howard Jay Siegel, An...
ISSTA
2006
ACM
16 years 14 days ago
Analyzing architectural styles with alloy
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...
Jung Soo Kim, David Garlan
ICCV
2005
IEEE
16 years 4 days ago
High Resolution Tracking of Non-Rigid 3D Motion of Densely Sampled Data Using Harmonic Maps
We present a novel fully automatic method for high resolution, non-rigid dense 3D point tracking. High quality dense point clouds of non-rigid geometry moving at video speeds are ...
Yang Wang, Mohit Gupta, Song Zhang 0002, Sen Wang,...
ICRA
2005
IEEE
136views Robotics» more  ICRA 2005»
16 years 3 days ago
A Circular Needle Path Planning Method for Suturing in Laparoscopic Surgery
— The work presented in this paper addresses the problem of the stitching task in laparoscopic surgery using a circular needle and a conventional 4 DOFs needle-holder. This task ...
Florent Nageotte, Philippe Zanne, Michel de Mathel...