2695 search results - page 482 / 539 » A Visual Approach to Validating System Level Designs |
123
Voted
CANPC
1999
Springer
15 years 6 months ago
1999
Springer
Streamlining communication is key to achieving good performance in shared-memory parallel programs. While full hardware support for cache coherence generally offers the best perfo...
116
click to vote
SIGIR
2008
ACM
15 years 2 months ago
2008
ACM
Address geocoding, the process of finding the map location for a structured postal address, is a relatively well-studied problem. In this paper we consider the more general proble...
140
click to vote
SCP
2010
15 years 26 days ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
133
click to vote
AIIDE
2008
15 years 4 months ago
2008
Artificial intelligence in games is typically used for creating player's opponents. Manual edition of intelligent behaviors for Non-Player Characters (NPCs) of games is a cum...
121
Voted
CMS
2006
15 years 3 months ago
2006
Abstract. There are a number of attacker models in the area of anonymous communication. Most of them are either very simplified or pretty abstract - therefore difficult to generali...