8009 search results - page 388 / 1602 » cans 2005 |
168
click to vote
APCSAC
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract. Given the increasing gap between processors and memory, prefetching data into cache becomes an important strategy for preventing the processor from being starved of data....
198
Voted
APSEC
2005
IEEE
16 years 13 days ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
172
click to vote
APSEC
2005
IEEE
16 years 13 days ago
2005
IEEE
Exception handling design is an important but difficult subject in software development. In Java software development, the use of checked exceptions exacerbates the difficulty. In...
149
click to vote
APSEC
2005
IEEE
16 years 13 days ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
188
click to vote
APSEC
2005
IEEE
16 years 13 days ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...