555 search results - page 50 / 111 » A Run-time System for SCOOP |
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Dynamic Aspect-Oriented Programming (d-AOP) is an important tool to implement adaptation in a wide variety of applications. In particular, large distributed infrastructur...
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
FDL
2003
IEEE
14 years 28 days ago
2003
IEEE
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
ICRA
2002
IEEE
14 years 17 days ago
2002
IEEE
Modular robots are systems composed of a number of independent units that can be reconfigured to fit the task at hand. When the modules are computationally independent, they for...
SAS
2001
Springer
14 years 2 days ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...