2206 search results - page 138 / 442 » On the power of coercion abstraction |
126
Voted
GLOBECOM
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract--Energy-efficient optical networks are gaining momentum as environmental-friendly solutions with reduced operational costs. Energy-efficiency can be achieved by using devi...
133
click to vote
SERVICES
2010
14 years 8 months ago
2010
Abstract--Mobile devices such as smart phones are increasing permeating society. With strides in computational power, coupled with the ability to connect to other small devices, sm...
150
click to vote
NETWORKING
2011
14 years 4 months ago
2011
Abstract. Sensing mechanisms that estimate the occupancy of wireless spectrum are crucial to the success of approaches based on Dynamic Spectrum Access. In this paper, we present k...
111
click to vote
ATVA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Symbolic Trajectory Evaluation (STE) is a powerful technique for hardware model checking. It is based on a 3-valued symbolic simulation, using 0,1 and X n"), where t...
106
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...