8810 search results - page 26 / 1762 » Openness |
CONCUR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...
CPAIOR
2009
Springer
15 years 4 months ago
2009
Springer
Open forms of global constraints allow the addition of new variables to an argument during the execution of a constraint program. Such forms are needed for difficult constraint pro...
IWOMP
2009
Springer
15 years 4 months ago
2009
Springer
The UTS benchmark is used to evaluate task parallelism in OpenMP 3.0 as implemented in a number of recently released compilers and run-time systems. UTS performs parallel search of...
CLUSTER
2008
IEEE
15 years 4 months ago
2008
IEEE
—Several performance analysis tools support hybrid applications. Most originated as MPI profiling or tracing tools and OpenMP capabilities were added to extend the performance a...
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
This project uses empirical data to provide insights into the impact of open standards. This work moves beyond the existing literature by considering a large number of open standa...