3706 search results - page 384 / 742 » The Transformational Approach to Program Development |
141
click to vote
CSIE
2009
IEEE
15 years 11 months ago
2009
IEEE
The tendency for Non-Functional Requirements (NFRs) to have a wide-ranging impact on a software system, and the strong interdependencies and tradeoffs that exist between NFRs and ...
132
click to vote
SEFM
2008
IEEE
15 years 10 months ago
2008
IEEE
We present an approach to find upper bounds of heap space for Java Card applets. Our method first transforms an input bytecode stream into a control flow graph (CFG), and then ...
126
click to vote
AGP
1999
IEEE
15 years 8 months ago
1999
IEEE
We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in ...
158
click to vote
WETICE
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...
148
click to vote
ICS
1992
Tsinghua U.
15 years 8 months ago
1992
Tsinghua U.
Previous research has used program transformation to introduce parallelism and to exploit data locality. Unfortunately,these twoobjectives have usuallybeen considered independentl...