Sciweavers

2958 search results - page 134 / 592
» Extending and Implementing RASP
Sort
View
FATES
2003
Springer
15 years 11 months ago
Automatic Conformance Testing of Internet Applications
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
Harm M. A. van Beek, Sjouke Mauw
GMP
2010
IEEE
213views Solid Modeling» more  GMP 2010»
15 years 11 months ago
Piecewise Tri-linear Contouring for Multi-material Volumes
Abstract. The ability to model objects composed of multiple materials has become increasingly more demanded in scientific applications. The visualization of a discrete multi-mater...
Powei Feng, Tao Ju, Joe D. Warren
WMTE
2002
IEEE
15 years 11 months ago
Lightweight Extensions of Collaborative Modeling Systems for Synchronous Use on PDA's
Based on experience in orchestrating co llaborative learning scenarios with ubiquitous computing technology, two strategies for extending a co -constructive modeling environment w...
Niels Pinkwart, Christian Schäfer, Heinz Ulri...
IWOMP
2010
Springer
15 years 11 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...
CDC
2009
IEEE
159views Control Systems» more  CDC 2009»
15 years 11 months ago
Event-triggered control for multi-agent systems
— Event-driven strategies for multi-agent systems are motivated by the future use of embedded microprocessors with limited resources that will gather information and actuate the ...
Dimos V. Dimarogonas, Karl Henrik Johansson