570 search results - page 26 / 114 » A Core Calculus of Dependency |
COORDINATION
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
CMSB
2007
Springer
13 years 11 months ago
2007
Springer
This paper presents a simulation algorithm for the stochastic -calculus, designed for the efficient simulation of biological systems with large numbers of molecules. The cost of a ...
HPDC
2012
IEEE
11 years 10 months ago
2012
IEEE
Consider a multithreaded parallel application running inside a multicore virtual machine context that is itself hosted on a multi-socket multicore physical machine. How should the...
AINA
2009
IEEE
13 years 5 months ago
2009
IEEE
Improvements at the physical network layer have enabled technologies such as 10 Gigabit Ethernet. Single core end-systems are unable to fully utilise these networks, due to limite...