1760 search results - page 71 / 352 » Program Analysis Using Weighted Pushdown Systems |
87
Voted
ECRTS
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper we present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-...
113
click to vote
APSEC
1997
IEEE
15 years 4 months ago
1997
IEEE
An underlying assumption for N-version programming technique is that independently developed versions would fail in a statistically independent mannel: Howevel; empirical studies ...
SAC
2009
ACM
15 years 7 months ago
2009
ACM
We consider distributed real-time systems where concurrency control is managed using software transactional memory. For such a method we propose an algorithm to compute an upper b...
93
Voted
JSW
2008
15 years 13 days ago
2008
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...
DIS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Behavioral sequences of the medaka (Oryzias latipes) were continuously investigated through an automatic image recognition system in response to medaka treated with the i...