3905 search results - page 779 / 781 » Teaching Design Patterns |
138
Voted
ISSTA
2012
ACM
13 years 3 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
119
Voted
ISCA
2012
IEEE
13 years 3 months ago
2012
IEEE
Recent improvements in architectural supports for virtualization have extended traditional hardware page walkers to traverse nested page tables. However, current twodimensional (2...
144
Voted
EDBT
2012
ACM
13 years 3 months ago
2012
ACM
In this paper we consider the problem of answering queries using views, with or without ontological constraints, which is important for data integration, query optimization, and d...
154
Voted
TFM
2009
Springer
15 years 7 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
149
Voted
SENSYS
2010
ACM
14 years 11 months ago
2010
ACM
Frequency overlap across wireless networks with different radio technologies can cause severe interference and reduce communication reliability. The circumstances are particularly...