3456 search results - page 222 / 692 » Byte Code Engineering |
136
Voted
B
1998
Springer
15 years 7 months ago
1998
Springer
Reactive systems can be designed graphically using statecharts. This paper presents a scheme for the translation of statecharts into the Abstract Machine Notation (AMN) of the B me...
140
click to vote
ICSE
2010
IEEE-ACM
15 years 7 months ago
2010
IEEE-ACM
We present a development environment for automatically building smart, security-aware GUIs following a model-based approach. Our environment consists of a number of plugins that h...
105
Voted
ARCS
2006
Springer
15 years 7 months ago
2006
Springer
The performance of the barrier operation can be crucial for many parallel codes. Especially distributed shared memory systems have to synchronize frequently to ensure the proper o...
181
Voted
AADEBUG
2005
Springer
15 years 5 months ago
2005
Springer
We present a way to incorporate backtracking and dynamic patching into existing debuggers, without requiring any change to their source code, the compiler or the run-time environm...
125
Voted
DAGSTUHL
2006
15 years 4 months ago
2006
In software engineering contexts software may be compared for similarity in order to detect duplicate code that indicates poor design, and to reconstruct evolution history. Malicio...