Sciweavers

688 search results - page 20 / 138
» Extracting the abstraction pyramid from complex networks
Sort
View
OSDI
2002
ACM
15 years 10 months ago
Using Model Checking to Debug Device Firmware
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
Sanjeev Kumar, Kai Li
ICCVW
1999
Springer
15 years 2 months ago
A General Method for Feature Matching and Model Extraction
Abstract. Popular algorithms for feature matching and model extraction fall into two broad categories, generate-and-test and Hough transform variations. However, both methods su er...
Clark F. Olson
FM
2008
Springer
77views Formal Methods» more  FM 2008»
14 years 11 months ago
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
Tom Ridge, Michael Norrish, Peter Sewell
TMA
2010
Springer
314views Management» more  TMA 2010»
15 years 4 months ago
On the Use of TCP Passive Measurements for Anomaly Detection: A Case Study from an Operational 3G Network
In this work we discuss the use of passive measurements of TCP performance indicators in support of network operation and troubleshooting, presenting a case-study from a real 3G ce...
Peter Romirer-Maierhofer, Angelo Coluccia, Tobias ...
DICTA
2009
14 years 11 months ago
Dense Correspondence Extraction in Difficult Uncalibrated Scenarios
Abstract--The relationship between multiple cameras viewing the same scene may be discovered automatically by finding corresponding points in the two views and then solving for the...
Ruan Lakemond, Clinton Fookes, Sridha Sridharan