3742 search results - page 302 / 749 » On the Use of Formal Techniques for Validation |
179
click to vote
ENTCS
2006
15 years 6 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
140
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We improve and adjust usual weak calibration techniques to the case of stereo video microscopes : Harris detector using a simplex optimization method for feature points...
135
click to vote
FPL
2009
Springer
15 years 11 months ago
2009
Springer
Hardware-timestamping is essential for achieving tight synchronization in networking applications. This mechanism is selectively used on few high-cost tailored systems. Actual μP...
140
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
This paper presents a methodology suited for high frequency analog IC design. The use of a top-down method with AHDL for circuit designers is proposed. In order to accelerate the ...
170
click to vote
FLAIRS
2000
15 years 8 months ago
2000
Hierarchical conceptual clustering has been proven to be a useful data mining technique. Graph-based representation of structural information has been shown to be successful in kn...