480 search results - page 74 / 96 » Continuations for parallel logic programming |
HPDC
2010
IEEE
13 years 8 months ago
2010
IEEE
As the number of cores inside compute clusters continues to grow, the scalability of MPI (Message Passing Interface) is important to ensure that programs can continue to execute o...
IDEAS
2008
IEEE
14 years 2 months ago
2008
IEEE
As the popularity of areas including document storage and distributed systems continues to grow, the demand for high performance XML databases is increasingly evident. This has le...
EDOC
2007
IEEE
14 years 1 months ago
2007
IEEE
A business process usually includes multiple business partners that use systems with their business logics represented in different rule (or policy) languages. The integration of ...
ASAP
2005
IEEE
14 years 1 months ago
2005
IEEE
With continued reductions in feature size, additional functionality may be added to future microprocessors to boost the performance of important application domains. Due to growth...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...