2700 search results - page 484 / 540 » The role of abstraction in software engineering |
180
click to vote
ISSTA
2009
ACM
16 years 20 days ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
180
click to vote
COMSWARE
2008
IEEE
16 years 19 days ago
2008
IEEE
— The telecom and the internet world is converging towards all-IP network architecture and the operators are keen to provide innovative multimedia services coupled with advanced ...
169
click to vote
ISPASS
2008
IEEE
16 years 16 days ago
2008
IEEE
Abstract— This work concerns metrics for evaluating microarchitectural enhancements to improve processor lifetime reliability. A commonly reported reliability metric is mean time...
162
click to vote
CGO
2007
IEEE
16 years 15 days ago
2007
IEEE
The JavaTM programming language does not allow the programmer to influence memory management. An object is usually allocated on the heap and deallocated by the garbage collector ...
144
click to vote
VMCAI
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...