801 search results - page 113 / 161 » Implementation and Use of Transactional Memory with Dynamic ... |
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
74
Voted
ICAC
2009
IEEE
15 years 4 months ago
2009
IEEE
The complexity of current computing networks and the required fluidity of their operation requires autonomy to be central to the design and implementation of a managed overlay net...
81
Voted
IFIP
2004
Springer
15 years 3 months ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
ECAI
1998
Springer
15 years 1 months ago
1998
Springer
This paper describes SRIPPs, structured reactive image processing plans, that are tailored for the needs of autonomous service robots. SRIPPs are implemented on top of a modular, d...
139
click to vote
EDO
2006
Springer
15 years 1 months ago
2006
Springer
Server applications with adaptive behaviors can adapt their functionality in response to environmental changes, and significantly reduce the on-going costs of system deployment an...