780 search results - page 131 / 156 » Combining a Formal with an Example-driven Approach for Data ... |
ESORICS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. While processor based systems often enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reconfigurable har...
SIGMOD
2011
ACM
12 years 10 months ago
2011
ACM
In most enterprises, databases are deployed on dedicated database servers. Often, these servers are underutilized much of the time. For example, in traces from almost 200 producti...
FDL
2007
IEEE
14 years 1 months ago
2007
IEEE
Actor-oriented modeling approaches are convenient for implementing functional models of embedded systems. Architectural models for heterogeneous system-on-chip architectures, howe...
SCIA
2007
Springer
14 years 1 months ago
2007
Springer
This paper proposes a fast 3D reconstruction approach for efficiently generating watertight 3D models from multiple short baseline views. Our method is based on the combination of...
WACV
2005
IEEE
14 years 1 months ago
2005
IEEE
We present an approach for persistent tracking of moving objects observed by non-overlapping and moving cameras. Our approach robustly recovers the geometry of non-overlapping vie...