1012 search results - page 192 / 203 » Process Algebra with Backtracking |
SIROCCO
2003
13 years 10 months ago
2003
In this work, we embark on a study of the possibility (or impossibility), and the corresponding costs, of devising concurrent, low-contention implementations of atomic Read-Modify...
BMCBI
2007
13 years 9 months ago
2007
Background: Structure identification of dynamic models for complex biological systems is the cornerstone of their reverse engineering. Biochemical Systems Theory (BST) offers a pa...
SIGMOD
2007
ACM
14 years 9 months ago
2007
ACM
An emerging challenge in modern distributed querying is to efficiently process multiple continuous aggregation queries simultaneously. Processing each query independently may be i...
SIGMOD
2006
ACM
14 years 9 months ago
2006
ACM
Relational XQuery systems try to re-use mature relational data management infrastructures to create fast and scalable XML database technology. This paper describes the main featur...
PPOPP
2010
ACM
14 years 6 months ago
2010
ACM
In LAPACK many matrix operations are cast as block algorithms which iteratively process a panel using an unblocked algorithm and then update a remainder matrix using the high perf...