Sciweavers

2509 search results - page 141 / 502
» Abstract Geometrical Computation and Computable Analysis
Sort
View
VMCAI
2007
Springer
16 years 15 days ago
Shape Analysis of Single-Parent Heaps
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
BMCBI
2007
79views more  BMCBI 2007»
15 years 6 months ago
Genomic scale analysis of lateral gene transfer in Apicomplexan parasites: insights into early eukaryotic evolution, host-pathog
ent> <title> <p>Highlights from the Third International Society for Computational Biology (ISCB) Student Council Symposium at the Fifteenth Annual International Conf...
Lucia Peixoto, David S. Roos
BMCBI
2007
95views more  BMCBI 2007»
15 years 6 months ago
Logical modelling and analysis of the budding yeast cell cycle
ent> <title> <p>Highlights from the Third International Society for Computational Biology (ISCB) Student Council Symposium at the Fifteenth Annual International Conf...
Adrien Fauré, Claudine Chaouiya, Andrea Cil...
NJC
2006
125views more  NJC 2006»
15 years 6 months ago
PRO: A Model for the Design and Analysis of Efficient and Scalable Parallel Algorithms
Abstract. We present a new parallel computation model called the Parallel ResourceOptimal computation model. PRO is a framework being proposed to enable the design of efficient and...
Assefaw Hadish Gebremedhin, Mohamed Essaïdi, ...
ESA
2005
Springer
135views Algorithms» more  ESA 2005»
15 years 12 months ago
: Standard Template Library for XXL Data Sets
Abstract. We present a software library Stxxl, that enables practiceoriented experimentation with huge data sets. Stxxl is an implementation of the C++ standard template library ST...
Roman Dementiev, Lutz Kettner, Peter Sanders