90 search results - page 6 / 18 » Exploiting purity for atomicity |
IFIPTCS
2000
13 years 11 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
BTW
2005
Springer
14 years 1 months ago
2005
Springer
: With the increasing popularity of semi-structured documents (particularly in the form of XML) for knowledge management, it is important to create tools that use the additional in...
VEE
2012
ACM
12 years 3 months ago
2012
ACM
Time Of Check To Time Of Use (TOCTTOU) race conditions for file accesses in user-space applications are a common problem in Unix-like systems. The mapping between filename and i...
KRDB
1997
13 years 9 months ago
1997
A data warehouse is a redundant collection of data replicated from several possibly distributed and loosely coupled source databases, organized to answer OLAP queries. Relational ...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
Matching pursuit (MP) based video coder represents an effective alternative to conventional block based DCT based architectures[I]. In this paper we propose a generalized motion c...