Sciweavers

371 search results - page 25 / 75
» A New Method for Interoperability Test Generation
Sort
View
KBSE
2007
IEEE
15 years 8 months ago
Testing concurrent programs using value schedules
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
Jun Chen, Steve MacDonald
ISHPC
2000
Springer
15 years 5 months ago
Fast Isosurface Generation Using the Cell-Edge Centered Propagation Algorithm
Isosurface generation algorithms usually need a vertex-identification process since most of polygon-vertices of an isosurface are shared by several polygons. In our observation the...
Takayuki Itoh, Yasushi Yamaguchi, Koji Koyamada
VISUALIZATION
2003
IEEE
15 years 7 months ago
Visualizing Industrial CT Volume Data for Nondestructive Testing Applications
This paper describes a set of techniques developed for the visualization of high-resolution volume data generated from industrial computed tomography for nondestructive testing (N...
Runzhen Huang, Kwan-Liu Ma, Patrick S. McCormick, ...
GECCO
2006
Springer
162views Optimization» more  GECCO 2006»
15 years 5 months ago
Improving evolutionary real-time testing
Embedded systems are often used in a safety-critical context, e.g. in airborne or vehicle systems. Typically, timing constraints must be satisfied so that real-time embedded syste...
Marouane Tlili, Stefan Wappler, Harmen Sthamer
136
Voted
ATAL
2003
Springer
15 years 5 months ago
Using web helper agent profiles in query generation
Personalized information agents can help overcome some of the limitations of communal Web information sources such as portals and search engines. Two important components of these...
Gabriel Somlo, Adele E. Howe