Sciweavers

2958 search results - page 134 / 592
» Extending and Implementing RASP
Sort
View
FATES
2003
Springer
14 years 2 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»
14 years 2 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
14 years 2 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
14 years 1 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»
14 years 1 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