1833 search results - page 173 / 367 » Mechanized Verification with Sharing |
152
click to vote
ISCC
2002
IEEE
15 years 11 months ago
2002
IEEE
Web caching is a popular technique to improve the performance and scalability of the Web by increasing document availability and enabling download sharing. Distributed cache coope...
154
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
Frequency interleaving is introduced as a means of conceptualizing and co-scheduling hardware and software behaviors so that software models with conceptually unbounded state and ...
177
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. While processor based systems often enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reconfigurable har...
152
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
We propose coupling based on contracts as a mechanism to address the problem of exchanging information between parties that require information to work together. Specifically, we s...
175
click to vote
COMPSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
Virtual Reality Modeling Language (VRML) is widely used to represent, create, and display virtual reality objects and their environment. Some VRML applications require concurrent ...