973 search results - page 132 / 195 » New Bounds on Crossing Numbers |
142
click to vote
SEFM
2007
IEEE
16 years 13 days ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
168
click to vote
ESORICS
2007
Springer
16 years 10 days ago
2007
Springer
The problem of key management in access hierarchies studies ways to assign keys to users and classes such that each user, after receiving her secret key(s), is able to independentl...
174
click to vote
ISSAC
2007
Springer
16 years 9 days ago
2007
Springer
The black box algorithm for separating the numerator from the denominator of a multivariate rational function can be combined with sparse multivariate polynomial interpolation alg...
163
click to vote
INFOCOM
2006
IEEE
16 years 6 days ago
2006
IEEE
— We address the problem of energy efficient sensing by adaptively coordinating the sleep schedules of sensor nodes while guaranteeing that values of sleeping nodes can be recov...
149
click to vote
ISCAS
2006
IEEE
16 years 6 days ago
2006
IEEE
— The X-architecture is a new integrated-circuit wiring technique in the physical design. Compared with the currently used M-architecture, which uses either horizontal or vertica...