2673 search results - page 103 / 535 » Guided Static Analysis |
110
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Analog and hybrid computation methods are areas of continued interest, particularly in specific applications where traditional digital computation techniques cannot achieve the de...
133
click to vote
IEEEPACT
1999
IEEE
15 years 8 months ago
1999
IEEE
Increases in instruction level parallelism are needed to exploit the potential parallelism available in future wide issue architectures. Predicated execution is an architectural m...
143
click to vote
DELTA
2004
IEEE
15 years 7 months ago
2004
IEEE
In this report we address the problem of static scheduling of realtime systems that include both hard and soft tasks. We consider systems in which both hard and soft tasks are per...
136
click to vote
CIKM
2006
Springer
15 years 7 months ago
2006
Springer
We present a static index pruning method, to be used in ad-hoc document retrieval tasks, that follows a documentcentric approach to decide whether a posting for a given term shoul...
140
Voted
IJISEC
2007
15 years 3 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...