9626 search results - page 444 / 1926 » Invariant Based Programming |
191
click to vote
NDSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Anti-malware companies receive thousands of malware samples every day. To process this large quantity, a number of automated analysis tools were developed. These tools execute a m...
176
click to vote
ICSR
2000
Springer
15 years 10 months ago
2000
Springer
A serious problem of most transformation-based generators is that they are trying to achieve three mutually antagonistic goals simultaneously: 1) deeply factored operators and oper...
205
click to vote
CAL
2002
15 years 6 months ago
2002
Abstract-- Computer architects must determine how to most effectively use finite computational resources when running simulations to evaluate new architectural ideas. To facilitate...
184
click to vote
CBSE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
164
click to vote
ACSD
2009
IEEE
16 years 1 months ago
2009
IEEE
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...