163 search results - page 22 / 33 » Type Systems for Useless-Variable Elimination |
IEEEPACT
2005
IEEE
14 years 9 days ago
2005
IEEE
Global address space languages like UPC exhibit high performance and portability on a broad class of shared and distributed memory parallel architectures. The most scalable applic...
TLDI
2009
ACM
14 years 3 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
DAGM
2007
Springer
14 years 27 days ago
2007
Springer
Glaucoma is one of the most common causes of blindness and it is becoming even more important considering the ageing society. Because healing of died retinal nerve fibers is not p...
IDEAL
2003
Springer
13 years 12 months ago
2003
Springer
ERA is a multi-agent oriented method for solving constraint satisfaction problems [5]. In this method, agents make decisions based on the information obtained from their environmen...
MAAMAW
1992
Springer
13 years 10 months ago
1992
Springer
This paper presents a microeconomics-based equilibratory approach to a distributed resource allocation problem in a multi-agent system. In a multi-agent system, each agent has its ...