1833 search results - page 201 / 367 » Mechanized Verification with Sharing |
141
click to vote
SEMWEB
2007
Springer
16 years 19 days ago
2007
Springer
Towards a sustainable society, design of artifacts must be optimized with limited resources on the earth while keeping our life. In order to realize it, I emphasize openness of des...
192
click to vote
ICAT
2006
IEEE
16 years 17 days ago
2006
IEEE
The use of Collaborative Virtual Geographic Environments (CVGE) is one of the most promising uses of virtual reality in geographic field. Data collaboration can support multi-direc...
169
click to vote
IEEEPACT
2006
IEEE
16 years 16 days ago
2006
IEEE
In SMT processors, the complex interplay between private and shared datapath resources needs to be considered in order to realize the full performance potential. In this paper, we...
179
click to vote
ACMACE
2006
ACM
16 years 15 days ago
2006
ACM
In modern society, people increasingly lack social interaction, even though it is beneficial to professional and personal life. Airhockey Over a Distance aims to work against this...
167
click to vote
ASPLOS
2006
ACM
16 years 14 days ago
2006
ACM
Security has been considered as an important issue in processor design. Most of the existing mechanisms address security and integrity issues caused by untrusted main memory in si...