Sciweavers

3844 search results - page 17 / 769
» Modular interpreted systems
Sort
View
ESOP
2007
Springer
14 years 2 months ago
Modular Shape Analysis for Dynamically Encapsulated Programs
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Rama...
ECAL
2007
Springer
14 years 2 months ago
Symbiosis, Synergy and Modularity: Introducing the Reciprocal Synergy Symbiosis Algorithm
Symbiosis, the collaboration of multiple organisms from different species, is common in nature. A related phenomenon, symbiogenesis, the creation of new species through the genetic...
Rob Mills, Richard A. Watson
SYNTHESE
2008
90views more  SYNTHESE 2008»
13 years 8 months ago
The modular structure of physical theories
Anyadvancedtheoryofphysicscontainsmodulesdefinedasessentialcomponents that are themselves theories with different domains of application. Different kinds of modules can be distingu...
Olivier Darrigol
AOSD
2012
ACM
12 years 4 months ago
A monadic interpretation of execution levels and exceptions for AOP
Aspect-Oriented Programming (AOP) started fifteen years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the enginee...
Nicolas Tabareau
ROBOCUP
2005
Springer
134views Robotics» more  ROBOCUP 2005»
14 years 1 months ago
Simultaneous Learning to Acquire Competitive Behaviors in Multi-agent System Based on Modular Learning System
The existing reinforcement learning approaches have been suffering from the policy alternation of others in multiagent dynamic environments. A typical example is a case of RoboCup...
Yasutake Takahashi, Kazuhiro Edazawa, Kentarou Nom...