466 search results - page 58 / 94 » Critical Reasoning |
SI3D
1992
ACM
14 years 21 days ago
1992
ACM
Direct volume rendering is a computationally intensive operation that has become a valued and often preferred visualization tool. For maximal data comprehension, interactive manip...
FMICS
2009
Springer
14 years 15 days ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
EUC
2006
Springer
14 years 9 days ago
2006
Springer
RFID(Radio Frequency Identification) is recently becoming popular, promising and widespread. In contrast, RFID tags can bring about traceability that causes user privacy and reduce...
CCGRID
2001
IEEE
14 years 9 days ago
2001
IEEE
Home-based Lazy Release Consistency (HLRC) shows poor performance on lock based applications because of two reasons: (1) a whole page is fetched on a page fault while actual modif...
CLUSTER
2001
IEEE
14 years 9 days ago
2001
IEEE
The Virtual Interface Architecture (VIA) is an industry standard user-level communication architecture for system area networks. The VIA provides a protected, directlyaccessible i...