Sciweavers

11214 search results - page 138 / 2243
» Programming Multi-agent Systems
Sort
View
129
Voted
IFIP
2010
Springer
15 years 4 months ago
Towards a Performance Measurement System to Control Disaster Response
Carine Rongier, Didier Gourc, Matthieu Lauras, Fra...
CC
2012
Springer
227views System Software» more  CC 2012»
14 years 1 months ago
Programming Paradigm Driven Heap Analysis
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
Mark Marron, Ondrej Lhoták, Anindya Banerje...
PC
2012
223views Management» more  PC 2012»
14 years 1 months ago
Using shared arrays in message-driven parallel programs
This paper describes a safe and efficient combination of the object-based message-driven execution and shared array parallel programming models. In particular, we demonstrate how ...
Phil Miller, Aaron Becker, Laxmikant V. Kalé...
PLPV
2012
ACM
14 years 1 months ago
LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
Alan Jeffrey
154
Voted
ENTCS
2008
175views more  ENTCS 2008»
15 years 6 months ago
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
Cezara Dragoi, Gheorghe Stefanescu