5054 search results - page 811 / 1011 » How designers design and program interactive behaviors |
186
click to vote
IEEEPACT
2007
IEEE
16 years 27 days ago
2007
IEEE
In this paper we propose a unified architectural support that can be used flexibly for either soft-error protection or software bug detection. Our approach is based on dynamically...
155
click to vote
CAISE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Overlay networks are an important kind of P2P infrastructures. The range of applications and requirements is broad. Consequently, our research objective are overlay netwo...
194
click to vote
MICRO
2003
IEEE
15 years 12 months ago
2003
IEEE
With power dissipation becoming an increasingly vexing problem across many classes of computer systems, measuring power dissipation of real, running systems has become crucial for...
180
click to vote
SIGSOFT
2003
ACM
15 years 12 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
189
click to vote
ESTIMEDIA
2003
Springer
15 years 11 months ago
2003
Springer
Current multimedia applications are characterized by highly dynamic and non-deterministic behavior as well as high-performance requirements. In addition, portable devices demand a...