1592 search results - page 158 / 319 » The state of the email address |
FMCAD
2004
Springer
14 years 2 months ago
2004
Springer
The main challenge in BDD-based verification is dealing with the memory explosion problem during reachability analysis. In this paper we advocate a methodology to handle this probl...
EDBTW
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. In this paper, we focus on B2B scenarios where XML views are extracted from relational databases and sent over the Web to another application that edits them and sends th...
ICPR
2010
IEEE
14 years 2 months ago
2010
IEEE
—The problem we address in the paper is how to learn a joint representation from data lying on multiple manifolds. We are given multiple data sets and there is an underlying comm...
VLDB
1995
ACM
14 years 2 months ago
1995
ACM
Parallel database systems have to support the effective parallelization of complex queries in multi-user mode, i.e. in combination with inter-query/inter-transaction parallelism. ...
WDAG
1995
Springer
14 years 2 months ago
1995
Springer
We present lock-free and wait-free universal constructions for implementing large shared objects. Most previous universal constructions require processes to copy the entire object...