2027 search results - page 285 / 406 » Approximating power indices |
156
click to vote
INFOCOM
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper addresses a fundamental problem in resource management for flow-based hybrid switching systems. Such systems aim at efficient transport of layer-3 connectionless IP traf...
147
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Specification-based retrieval provides exact contentoriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottlene...
195
click to vote
AIMSA
1998
Springer
15 years 10 months ago
1998
Springer
The acceptance and usability of current interactive theorem proving environments is, among other things, strongly influenced by the availability of an intelligent default suggestio...
226
click to vote
INFOCOM
1997
IEEE
15 years 10 months ago
1997
IEEE
The CARMA-NTG protocol is presented and analyzed. CARMA-NTG dynamically divides the channel into cycles of variable length; each cycle consists of a contention period and a group-...
155
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an integrated algorithmic framework for SAT that unifies several previously proposed searchp...