8627 search results - page 1505 / 1726 » Software Engineering Using RATionale |
143
click to vote
VMCAI
2007
Springer
16 years 21 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
134
click to vote
CGO
2006
IEEE
16 years 20 days ago
2006
IEEE
Dynamic optimization relies on phase detection for two important functions (1) To detect change in code working set and (2) To detect change in performance characteristics that ca...
138
click to vote
CGO
2006
IEEE
16 years 20 days ago
2006
IEEE
Explicit Data Graph Execution (EDGE) architectures offer the possibility of high instruction-level parallelism with energy efficiency. In EDGE architectures, the compiler breaks ...
183
click to vote
COMPSAC
2006
IEEE
16 years 20 days ago
2006
IEEE
In a wireless LAN environment, clients tend to associate with the nearest access point (AP) which usually provides the strongest signal. However, this does not guarantee that user...
144
click to vote
ISPASS
2006
IEEE
16 years 18 days ago
2006
IEEE
The latest high-performance IBM PowerPC microprocessor, the POWER5 chip, poses challenges for performance model validation. The current stateof-the-art is to use simple hand-coded...