6978 search results - page 1364 / 1396 » On Proofs in System P |
LCPC
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Empirical optimizers like ATLAS have been very effective in optimizing computational kernels in libraries. The best choice of parameters such as tile size and degree of l...
EUROMICRO
2003
IEEE
14 years 29 days ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
HICSS
2003
IEEE
14 years 29 days ago
2003
IEEE
Small ubiquitous devices connected by wireless networks will become future Internet appliances. To support them, communication networks must evolve to seamlessly assist appliances...
ICPP
2003
IEEE
14 years 28 days ago
2003
IEEE
In reservation-based packet scheduling algorithms for single-hop WDM networks, one of the wavelengths is used as a control channel which is shared by all of the nodes for transmit...
ACMICEC
2003
ACM
14 years 28 days ago
2003
ACM
The aggregation of conflicting preferences is a central problem in multiagent systems. The key difficulty is that the agents may report their preferences insincerely. Mechanism ...