Sciweavers

4313 search results - page 128 / 863
» Using time travel to diagnose computer problems
Sort
View
IPPS
1994
IEEE
15 years 8 months ago
Efficient Matrix Chain Ordering in Polylog Time
The matrix chain ordering problem is to find the cheapest way to multiply a chain of n matrices, where the matrices are pairwise compatible but of varying dimensions. Here we give ...
Phillip G. Bradford, Gregory J. E. Rawlins, Gregor...
SOFSEM
2009
Springer
16 years 1 months ago
Symbolic Reachability Analysis of Integer Timed Petri Nets
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
Min Wan, Gianfranco Ciardo
146
Voted
SIAMAM
2010
117views more  SIAMAM 2010»
15 years 3 months ago
Dynamics of Three-Dimensional Gravity-Capillary Solitary Waves in Deep Water
A model equation for gravity-capillary waves in deep water is proposed. This model is a quadratic approximation of the deep water potential flow equations, and has wavepacket-type...
Benjamin Akers, Paul A. Milewski
148
Voted
ICCV
2007
IEEE
16 years 6 months ago
Discrete camera calibration from the information distance between pixel streams
We consider the problem of estimating the relative orientation of a number of individual photocells -or pixels- that hold fixed relative positions. The photocells measure the inte...
Etienne Grossmann, Francesco Orabona, José ...
149
Voted
ICDCS
1998
IEEE
15 years 9 months ago
A Protocol and Correctness Proofs for Real-Time High-Performance Broadcast Networks
Novel real-time applications require highperformance real-time distributed systems, and therefore high-performance real-time networks. We examine a Hard Real-Time Distributed Mult...
Jean-François Hermant, Gérard Le Lan...