1713 search results - page 156 / 343 » Analysis of Procedure Splitability |
198
click to vote
POPL
2006
ACM
16 years 1 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
111
click to vote
ISSTA
2004
ACM
15 years 6 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
90
Voted
BMCBI
2007
15 years 25 days ago
2007
Background: Clustering is an important analysis performed on microarray gene expression data since it groups genes which have similar expression patterns and enables the explorati...
125
Voted
BMCBI
2006
15 years 23 days ago
2006
Background: In discriminant analysis of microarray data, usually a small number of samples are expressed by a large number of genes. It is not only difficult but also unnecessary ...
103
click to vote
BMCBI
2007
15 years 22 days ago
2007
Background: Metabolic Flux Analysis (MFA) based on isotope labeling experiments (ILEs) is a widely established tool for determining fluxes in metabolic pathways. Isotope labeling ...