Sciweavers

16844 search results - page 2963 / 3369
» How to Design Programs
Sort
View
CN
2007
96views more  CN 2007»
15 years 6 months ago
Persistent detection and recovery of state inconsistencies
Soft-state is a well established approach to designing robust network protocols and applications. However it is unclear how to apply soft-state approach to protocols that must mai...
Lan Wang, Daniel Massey, Lixia Zhang
IPL
2008
72views more  IPL 2008»
15 years 6 months ago
Reducing communication costs in robust peer-to-peer networks
Several recent research results describe how to design Distributed Hash Tables (DHTs) that are robust to adversarial attack via Byzantine faults. Unfortunately, all of these resul...
Jared Saia, Maxwell Young
COMGEO
2007
ACM
15 years 6 months ago
A package for exact kinetic data structures and sweepline algorithms
In this paper we present a package for implementing exact kinetic data structures built on objects which move along polynomial trajectories. We discuss how the package design was ...
Daniel Russel, Menelaos I. Karavelas, Leonidas J. ...
IJCV
2006
132views more  IJCV 2006»
15 years 6 months ago
Two-View Multibody Structure from Motion
We present an algebraic geometric approach to 3-D motion estimation and segmentation of multiple rigid-body motions from noise-free point correspondences in two perspective views. ...
René Vidal, Yi Ma, Stefano Soatto, Shankar ...
IJES
2006
134views more  IJES 2006»
15 years 6 months ago
Applying model-driven development to distributed real-time and embedded avionics systems
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
Krishnakumar Balasubramanian, Arvind S. Krishna, E...
« Prev « First page 2963 / 3369 Last » Next »