6059 search results - page 3 / 1212 » A Technique for Verifying Measurements |
SOCO
2010
Springer
13 years 15 days ago
2010
Springer
Until recently, local governments in Spain were using machines with rolling cylinders for verifying taximeters. However, the condition of the tires can lead to errors in the proces...
E2EMON
2006
IEEE
13 years 12 months ago
2006
IEEE
Abstract— In our previous studies, we proposed ImTCP, an inline network measurement technique that can obtain available bandwidth information of the network path between sender a...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
In the current Internet, there is no clean way for affected parties to react to poor forwarding performance: to detect and assess Service Level Agreement (SLA) violations by a con...
ITP
2010
13 years 7 months ago
2010
TCAD
2008
13 years 5 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...