2642 search results - page 371 / 529 » Merge-by-Wire: Algorithms and System Support |
TAICPART
2006
IEEE
14 years 3 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
MM
2006
ACM
14 years 3 months ago
2006
ACM
We present a novel, innovative user interface to music repositories. Given an arbitrary collection of digital music files, our system creates a virtual landscape which allows the...
NETGAMES
2006
ACM
14 years 3 months ago
2006
ACM
We present an approach to support Massively Multiplayer Online Role-Playing Games. Our proposed solution begins by splitting the large virtual world into smaller regions, each reg...
SAC
2006
ACM
14 years 3 months ago
2006
ACM
Complex environmental modeling often involves a large number of unknown physical and ecological parameters. Parameter estimation is one of the most difficult steps in many modelin...
SAC
2006
ACM
14 years 3 months ago
2006
ACM
With the development of Internet-based business, Web applications are becoming increasingly complex. The J2EE specification aims at enabling the design of such web application ser...