1833 search results - page 248 / 367 » Mechanized Verification with Sharing |
152
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— Service prioritization among different traffic classes is an important goal for the future Internet. Conventional approaches to solving this problem consider the existing best...
179
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
OpenMP has emerged as a widely accepted standard for writing shared memory programs. Hardware-specific extensions such as data placement are usually needed to improve the scalabi...
174
click to vote
MICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
Register integration (or just integration) is a register renaming discipline that implements instruction reuse via physical register sharing. Initially developed to perform squash...
139
click to vote
HT
1993
ACM
15 years 10 months ago
1993
ACM
This paper discusses issues for the design of a Dexter-based cooperative hypermedia architecture and a specific system, DeVise Hypermedia (DHM), developed from this architecture. ...
183
click to vote
EDBT
2009
ACM
15 years 9 months ago
2009
ACM
In a world of wide-scale information sharing, the decentralized coordination has to consolidate a variety of heterogeneity. Shared data are described in different formats, i.e. da...