7195 search results - page 369 / 1439 » On Computing Power |
132
click to vote
DSN
2008
IEEE
15 years 11 months ago
2008
IEEE
A method for Statistical Fault Injection (SFI) into arbitrary latches within a full system hardware-emulated model is validated against particle-beam-accelerated SER testing for a...
132
click to vote
TCS
2010
15 years 3 months ago
2010
We compare how computational effects are modelled in Classical Domain Theory and Topological Domain Theory. Both of these theories provide powerful toolkits for denotational sema...
151
click to vote
SOFSEM
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Smart play-out is a method for executing declarative scenariobased specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping t...
117
Voted
ICDCSW
2006
IEEE
15 years 11 months ago
2006
IEEE
— This paper proposes a new approach for handling overload in Publish/Subscribe systems. We focus on the fact that every service has to cope with the limitations imposed by the e...
132
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we study the computation of the Nash bargaining solution for the two players, K frequency bands case, under joint FDM/TDM spectrum allocations and total power constra...