575 search results - page 13 / 115 » Analysis of program based on Synchronous Active Objects |
SIGADA
1998
Springer
14 years 1 months ago
1998
Springer
This paper outlines the short-comings of rendezvous and the advantages of protected objects as a means of synchronization in Ada 95. A common Ada benchmark suite, ACES, gives the ...
CONCUR
2007
Springer
14 years 3 months ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
ISNN
2010
Springer
14 years 1 months ago
2010
Springer
In this paper, we make some analysis on the FitzHugh-Nagumo model and improve it to build a neural network, and the network is used to implement visual selection and attention shif...
FMOODS
2008
13 years 10 months ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
SIGDOC
2006
ACM
14 years 2 months ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...