7943 search results - page 100 / 1589 » A calculus for costed computations |
CLOUDCOM
2009
Springer
15 years 2 months ago
2009
Springer
Workflows are modeled as hierarchically structured directed acyclic graphs in which vertices represent computational tasks, referred to as requests, and edges represent precedent c...
IPPS
2005
IEEE
15 years 3 months ago
2005
IEEE
Basic Local Alignment Search Tool (BLAST) is a standard computer application that molecular biologists use to search for sequence similarity in genomic databases. This report desc...
CSCW
2004
ACM
15 years 3 months ago
2004
ACM
Interest has been growing in opportunities to build and deploy statistical models that can infer a computer user’s current interruptability from computer activity and relevant c...
ICFP
2004
ACM
15 years 10 months ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...
TAMC
2010
Springer
15 years 3 months ago
2010
Springer
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...