1626 search results - page 229 / 326 » Subtyping with Power Types |
195
click to vote
ICLP
2003
Springer
16 years 18 days ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
190
Voted
PLDI
2010
ACM
16 years 15 days ago
2010
ACM
Single thread performance remains an important consideration even for multicore, multiprocessor systems. As a result, techniques for improving single thread performance using mult...
207
click to vote
DANCE
2002
IEEE
16 years 11 days ago
2002
IEEE
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...
173
click to vote
HICSS
2002
IEEE
16 years 11 days ago
2002
IEEE
The location and configuration of transmission infrastructure for cellular communication networks is a complex engineering task involving many competing objectives. While minimis...
212
Voted
ICDCSW
2002
IEEE
16 years 11 days ago
2002
IEEE
A key issue when designing and implementing largescale publish/subscribe systems is how to efficiently propagate subscriptions among the brokers of the system. Brokers require thi...