1054 search results - page 105 / 211 » Translation Validation of System Abstractions |
168
click to vote
ECAL
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Inspired by the recent advances in evolutionary biology, we have developed a self-organising, self-adaptable cellular system for multitask learning. The main aim of our p...
139
click to vote
PODS
2010
ACM
15 years 11 months ago
2010
ACM
It is well known that a search engine can significantly benefit from an auxiliary database, which can suggest interpretations of the search query by means of the involved concep...
179
click to vote
ASPLOS
2010
ACM
16 years 25 days ago
2010
ACM
In this paper we evaluate the atomic region compiler abstraction by incorporating it into a commercial system. We find that atomic regions are simple and intuitive to integrate i...
219
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
165
click to vote
TSMC
2008
15 years 6 months ago
2008
Abstract-- A service-oriented system is a collection of independent services that interact with one another through message exchanges. Languages such as the Web Services Descriptio...