4163 search results - page 536 / 833 » A comprehensive combination framework |
188
click to vote
LCPC
2005
Springer
16 years 5 days ago
2005
Springer
The goal of this work is a systematic approach to compiler optimization for simultaneously optimizing across multiple levels of the memory hierarchy. Our approach combines compiler...
192
click to vote
LPNMR
2005
Springer
16 years 5 days ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
144
click to vote
RE
2005
Springer
16 years 5 days ago
2005
Springer
View merging is an important activity in any conceptual modeling language. It is often desirable to combine a set of views to gain a unified perspective, to test hypotheses about...
152
click to vote
SAS
2005
Springer
16 years 5 days ago
2005
Springer
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined th...
173
click to vote
SEKE
2005
Springer
16 years 5 days ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...