3669 search results - page 495 / 734 » Rendering |
171
click to vote
CONCUR
2007
Springer
16 years 24 days ago
2007
Springer
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
141
click to vote
CONCUR
2007
Springer
16 years 24 days ago
2007
Springer
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...
232
click to vote
COREGRID
2007
Springer
16 years 24 days ago
2007
Springer
Distributed applications or workflows need to access and use compute, storage and network resources simultaneously or chronologically coordinated respectively. Examples are distri...
155
click to vote
CTRSA
2007
Springer
16 years 24 days ago
2007
Springer
This paper announces a new software side-channel attack — enabled by the branch prediction capability common to all modern highperformance CPUs. The penalty paid (extra clock cyc...
167
click to vote
EGH
2007
Springer
16 years 23 days ago
2007
Springer
Evaluating pixel shaders consumes a growing share of the computational budget for real-time applications. However, the significant temporal coherence in visible surface regions, ...