5707 search results - page 1105 / 1142 » Symbolic Simulation - Techniques and Applications |
ASPLOS
1991
ACM
14 years 1 months ago
1991
ACM
The memory consistency model supported by a multiprocessor architecture determines the amount of buffering and pipelining that may be used to hide or reduce the latency of memory ...
AAAI
2008
14 years 10 days ago
2008
This paper summarizes recent advances in the application of multiagent coordination algorithms to air traffic flow management. Indeed, air traffic flow management is one of the fu...
ANCS
2008
ACM
14 years 12 hour ago
2008
ACM
The amount of intelligent packet processing in an Ethernet switch continues to grow, in order to support of embedded applications such as network security, load balancing and qual...
ANCS
2008
ACM
14 years 12 hour ago
2008
ACM
The significance of high-performance dedicated networks has been well recognized due to the rapidly increasing number of large-scale applications that require high-speed data tran...
ATAL
2008
Springer
14 years 7 hour ago
2008
Springer
Mechanism design (MD) has recently become a very popular approach in the design of distributed systems of autonomous agents. A key assumption required for the application of MD is...