15253 search results - page 2532 / 3051 » Integer-Programming Software Systems |
143
click to vote
VMCAI
2007
Springer
16 years 19 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...
158
click to vote
VMCAI
2007
Springer
16 years 19 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...
170
click to vote
KBSE
2006
IEEE
16 years 16 days ago
2006
IEEE
Aspect-Oriented Programming (AOP) has been proposed in literature to overcome modularization shortcomings such as the tyranny of the dominant decomposition. However, the new langu...
175
click to vote
WS
2006
ACM
16 years 14 days ago
2006
ACM
The interoperability of IM (Instant Messaging) and SMS (Short Messaging Service) networks allows users to seamlessly use a variety of computing devices from desktops to cellular p...
161
click to vote
CGO
2005
IEEE
16 years 5 days ago
2005
IEEE
The growing complexity of modern processors has made the generation of highly efficient code increasingly difficult. Manual code generation is very time consuming, but it is oft...