3456 search results - page 176 / 692 » Byte Code Engineering |
113
click to vote
LCTRTS
2004
Springer
15 years 8 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
IWPC
2003
IEEE
15 years 8 months ago
2003
IEEE
Legacy code can often be made more understandable and maintainable by extracting out selected sets of statements to form procedures and replacing the extracted code with procedure...
112
click to vote
CODES
1997
IEEE
15 years 7 months ago
1997
IEEE
– Retargetability of embedded system descriptions not only enables better exploration of the design space and evaluation of cost/performance tradeoffs but also enhances design ma...
121
click to vote
CBSE
2010
Springer
15 years 6 months ago
2010
Springer
Design patterns are typically defined informally, albeit in a standard format, and have to be programmed by the software designer into each new application. Thus although patterns ...
120
click to vote
ICSE
2009
IEEE-ACM
15 years 27 days ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...