10396 search results - page 1867 / 2080 » Testing Web Applications |
117
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
168
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
179
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, the high density out-of-plane microprobe array is demonstrated. The fabrication processes of proposed device including bulk micromachining, thin film deposition and ...
160
click to vote
CPHYSICS
2008
15 years 6 months ago
2008
Abstract. Neutrino telescopes are opening new opportunities in observational high energy astrophysics. In these detectors, atmospheric muons from primary cosmic ray interactions in...
164
click to vote
EAAI
2008
15 years 6 months ago
2008
Fault tolerant measurements are an essential requirement for system identification, control and protection. Measurements can be corrupted or interrupted due to sensor failure, bro...