4629 search results - page 408 / 926 » Space Kernel Analysis |
165
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
The excessive complexity of both machine architectures and applications have made it difficult for compilers to statically model and predict application behavior. This observatio...
171
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
183
click to vote
ICPP
1996
IEEE
15 years 11 months ago
1996
IEEE
The ability to automatically parallelize standard programming languages results in program portability across a wide range of machine architectures. It is the goal of the Polaris ...
150
click to vote
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
The use of local features in computer vision has shown to be promising. Local features have several advantages including invariance to image transformations, independence of the ba...
235
click to vote
DEXA
2000
Springer
15 years 10 months ago
2000
Springer
The Esprit project PRODNET II1 (Production Planning and Management in an Extended Enterprise) had as its main objective the development of a reference architecture and a support in...