5707 search results - page 947 / 1142 » Symbolic Simulation - Techniques and Applications |
153
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
Since on-chip routers in Network-on-Chips play a key role in on-chip communication between cores, they should be always preparing for packet injections even if a part of cores are ...
187
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
When exploring a game over a large strategy space, it may not be feasible or cost-effective to evaluate the payoff of every relevant strategy profile. For example, determining a p...
166
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
As computerized agents are becoming more and more common, e-commerce becomes a major candidate for incorporation of automated agents. Thus, it is vital to understand how people de...
190
click to vote
AUTONOMICS
2008
ACM
15 years 8 months ago
2008
ACM
Multicast trees are used in a variety of applications, such as publish/subscribe systems or content distribution networks. Existing algorithms for ad-hoc networks typically produc...
166
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
In a hard real-time embedded system, the time at which a result is computed is as important as the result itself. Modern processors go to extreme lengths to ensure their function ...