506 search results - page 15 / 102 » A Coordination Language for Programming Embedded Multi-Core ... |
POPL
2012
ACM
12 years 2 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
SEUS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. Describing parallel hardware and software is difficult, especially in an embedded setting. Five years ago, we started the shim project to address this challenge by develo...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
ICAS
2009
IEEE
14 years 2 months ago
2009
IEEE
In open systems where the components, i.e. the agents and the resources, may be unknown at design time, or in dynamic and self-organizing systems evolving with time, there is a ne...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
From a multiagent viewpoint, a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to ...