1914 search results - page 383 / 383 » Abstract lambda-Calculus Machines |
BMCBI
2011
12 years 9 months ago
2011
Background: The identification of drug characteristics is a clinically important task, but it requires much expert knowledge and consumes substantial resources. We have developed ...
ICA3PP
2011
Springer
12 years 5 months ago
2011
Springer
Abstract. Resource provisioning is one of the main challenges in resource sharing environments such as multi-cluster Grids. In these environments each cluster serves requests from ...
ICDCS
2012
IEEE
11 years 8 months ago
2012
IEEE
—Virtual coordinate systems (VCS) provide accurate estimations of latency between arbitrary hosts on a network, while conducting a small amount of actual measurements and relying...
FMICS
2009
Springer
14 years 10 days ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...