29046 search results - page 5693 / 5810 » Computable Models |
171
click to vote
EDOC
2008
IEEE
15 years 11 months ago
2008
IEEE
Service providers as we know them nowadays are the always-on “static” web service providers, that aim at Five9 availability (99.999%). Formal, or de-facto, standards, such as ...
152
click to vote
GLOBECOM
2008
IEEE
15 years 11 months ago
2008
IEEE
—Immediate notification of urgent but rare events and delivery of time sensitive actuation commands appear in many practical wireless sensor and actuator network applications. M...
135
click to vote
IEEEPACT
2008
IEEE
15 years 11 months ago
2008
IEEE
Recently, chip multiprocessors (CMPs) have arisen as the de facto design for modern high-performance processors, with increasing core counts. An important property of CMPs is that...
138
click to vote
IEEEPACT
2008
IEEE
15 years 11 months ago
2008
IEEE
The emergence of power as a first-class design constraint has fueled the proposal of a growing number of run-time power optimizations. Many of these optimizations trade-off power...
125
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...