2004 search results - page 391 / 401 » Comparison of Model Checking Tools for Information Systems |
PPOPP
2009
ACM
16 years 8 days ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...
101
click to vote
MIDDLEWARE
2004
Springer
15 years 5 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
123
click to vote
CHI
2011
ACM
14 years 3 months ago
2011
ACM
Large-scale, ground-level urban imagery has recently developed as an important element of online mapping tools such as Google’s Street View. Such imagery is extremely valuable i...
110
click to vote
DAC
2001
ACM
16 years 21 days ago
2001
ACM
Recently, the Internet revolutionized many activities from entertainment to marketing and business. Two key underlying Internet technologies, efficient data delivery and hypertext...
105
click to vote
VRST
2009
ACM
15 years 6 months ago
2009
ACM
In Volume Rendering, it is difficult to simultaneously visualize interior and exterior structures. Several approaches have been developed to solve this problem, such as cut-away ...