926 search results - page 161 / 186 » Prolog as the First Programming Language |
114
click to vote
ICDT
1995
ACM
15 years 6 months ago
1995
ACM
We investigate and compare two forms of recursion on sets for querying nested collections. The rst one is called sri and it corresponds to sequential processing of data. The second...
145
Voted
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
Standard concurrency control mechanisms offer a trade-off: Transactional memory approaches maximize concurrency, but suffer high overheads and cost for retrying in the case of act...
118
Voted
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
Power delivery, electricity consumption, and heat management are becoming key challenges in data center environments. Several past solutions have individually evaluated different ...
146
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
150
Voted
WWW
2003
ACM
16 years 3 months ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...