1146 search results - page 200 / 230 » Semantics of Data Streams and Operators |
113
click to vote
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
111
click to vote
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
112
click to vote
CGF
2008
15 years 2 months ago
2008
We present a system for creating and manipulating layered procedural surface editing operations, which is motivated by the limited support for iterative design in free-form modeli...
117
Voted
SRDS
2010
IEEE
14 years 11 months ago
2010
IEEE
Virtual machine (VM) introspection is a powerful technique for determining the specific aspects of guest VM execution from outside the VM. Unfortunately, existing introspection so...
117
click to vote
FAST
2009
14 years 11 months ago
2009
Clustered applications in storage area networks (SANs), widely adopted in enterprise datacenters, have traditionally relied on distributed locking protocols to coordinate concurre...