Sciweavers

6047 search results - page 333 / 1210
» Modeling with Extend
Sort
View
IWOMP
2010
Springer
15 years 9 months ago
Enabling Low-Overhead Hybrid MPI/OpenMP Parallelism with MPC
Abstract. With the advent of multicore- and manycore-based supercomputers, parallel programming models like MPI and OpenMP become more widely used to express various levels of para...
Patrick Carribault, Marc Pérache, Herv&eacu...
CONTEXT
2001
Springer
15 years 9 months ago
Learning Appropriate Contexts
Genetic Programming is extended so that the solutions being evolved do so in the context of local domains within the total problem domain. This produces a situation where different...
Bruce Edmonds
ERSHOV
2009
Springer
15 years 8 months ago
A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols
Abstract. The Java Supercompiler (JScp) is a specializer of Java programs based on the Turchin's supercompilation method and extended to support imperative and object-oriented...
Andrei V. Klimov
WSC
2008
15 years 7 months ago
An efficient Ranking and Selection procedure for a linear transient mean performance measure
We develop a Ranking and Selection procedure for selecting the best configuration based on a transient mean performance measure. The procedure extends the OCBA approach to systems...
Douglas J. Morrice, Mark W. Brantley, Chun-Hung Ch...
BIRTHDAY
2010
Springer
15 years 5 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef