917 search results - page 149 / 184 » Structural Testing of Component-Based Systems |
JTRES
2009
ACM
14 years 2 months ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
ICS
2009
Tsinghua U.
14 years 2 months ago
2009
Tsinghua U.
Single-particle 3D reconstruction from cryo-electron microscopy (cryo-EM) images is a kernel application of biological molecules analysis, as the computational requirement of whic...
INFOVIS
1999
IEEE
14 years 2 months ago
1999
IEEE
Domain Analysis for Data Visualization (DADV) is a technique to use when investigating a domain where data visualizations are going to be designed and added to existing software s...
CVPR
2009
IEEE
14 years 1 months ago
2009
IEEE
We show that histograms of keypoint descriptor distances can make useful features for visual recognition. Descriptor distances are often exhaustively computed between sets of keyp...
SC
1995
ACM
14 years 1 months ago
1995
ACM
The Convex SPP-1000 is the first commercial implementation of a new generation of scalable shared memory parallel computers with full cache coherence. It employs a hierarchical s...