557 search results - page 102 / 112 » The L4.verified Project - Next Steps |
ICASSP
2007
IEEE
14 years 1 months ago
2007
IEEE
This project aims to reduce the time required to attain more detailed scans of small interesting regions present in a quick first-pass sample image. In particular, we concentrate...
WCRE
2006
IEEE
14 years 1 months ago
2006
IEEE
The understanding of the structure of a software system can be improved by analyzing the system’s evolution during development. Visualizations of software history that provide o...
OOPSLA
2004
Springer
14 years 28 days ago
2004
Springer
Java workloads are becoming more and more prominent on various computing devices. Understanding the behavior of a Java workload which includes the interaction between the applicat...
CBMS
2003
IEEE
14 years 26 days ago
2003
IEEE
Many genetic disorders or possible abnormalities that may occur in the future generations can be predicted through analyzing the shape and morphological characteristics of the chr...
AGTIVE
2003
Springer
14 years 24 days ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...