800 search results - page 96 / 160 » Programming Models for Concurrency and Real-Time |
113
click to vote
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
137
click to vote
JIRS
2008
15 years 1 months ago
2008
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
109
click to vote
IJAOSE
2010
14 years 11 months ago
2010
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
147
click to vote
TACAS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
112
click to vote
CCGRID
2001
IEEE
15 years 4 months ago
2001
IEEE
High performance computing on parallel architectures currently uses different approaches depending on the hardory model of the architecture, the abstraction level of the programmi...