1755 search results - page 12 / 351 » An efficient simulation algorithm based on abstract interpre... |
ICCAD
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract—It is important to reduce the Optical Proximity Correction (OPC) runtime while maintaining a good result quality. In this paper, we obtain a better formula, which theore...
EUROPAR
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. In this paper we propose an energy-efficient broadcast algorithm for wireless networks for the case where the transmission powers of the nodes are fixed. Our algorithm is...
CAMAD
2006
IEEE
15 years 1 months ago
2006
IEEE
Abstract--Peer-to-Peer Realm (P2PRealm) is an efficient peer-topeer network simulator for studying algorithms based on neural networks. In contrast to many simulators, which emphas...
ICOIN
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we present a new method to calculate reinforcement value in QoS routing algorithm for real-time multimedia based on Ant algorithm to efficiently and effectively rein...
IFL
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. The paper presents several analyses to detect non-deterministic expressions in the parallel-functional language Eden. First, the need for the analysis is motivated, and t...