4987 search results - page 762 / 998 » Support Ordered Resolution |
188
click to vote
EURONGI
2008
Springer
15 years 8 months ago
2008
Springer
Current mobility management systems are operator centralized, and focused on single link technologies. In heterogeneous wireless mesh networks, vertical handovers could be a length...
181
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs characterize the behavior of code ...
170
click to vote
EUROSYS
2008
ACM
15 years 8 months ago
2008
ACM
Guaranteed I/O performance is needed for a variety of applications ranging from real-time data collection to desktop multimedia to large-scale scientific simulations. Reservations...
175
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint ded...
159
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...