1626 search results - page 229 / 326 » Subtyping with Power Types |
127
click to vote
ICLP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
117
click to vote
PLDI
2010
ACM
15 years 9 months 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...
138
Voted
DANCE
2002
IEEE
15 years 9 months 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...
122
Voted
HICSS
2002
IEEE
15 years 9 months 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...
156
click to vote
ICDCSW
2002
IEEE
15 years 9 months 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...