314 search results - page 54 / 63 » Concurrently Decomposable Constraint Systems |
ATAL
2003
Springer
14 years 25 days ago
2003
Springer
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...
EDBT
2009
ACM
14 years 7 days ago
2009
ACM
In this study, we present experiences of parallelizing XPath queries using the Xalan XPath engine on shared-address space multi-core systems. For our evaluation, we consider a sce...
JSS
2002
13 years 7 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
HIPEAC
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Stream programming is a promising way to expose concurrency to the compiler. A stream program is built from kernels that communicate only via point-to-point streams. The ...
CASES
2004
ACM
14 years 1 months ago
2004
ACM
Application specific processors offer the potential of rapidly designed logic specifically constructed to meet the performance and area demands of the task at hand. Recently, t...