Sciweavers

36 search results - page 5 / 8
» Reducing Inspection Interval in Large-Scale Software Develop...
Sort
View
APVIS
2006
14 years 11 months ago
Integrated visualization for geometry PIG data
The geometry PIG is a system that can inspect the inside of a pipeline. The amount of pigging data is usually considerable because the system records multi-channel sensor values f...
Bok Dong Kim, Sang Ok Koo, Hyok Don Kwon, Seong Da...
CORR
2006
Springer
102views Education» more  CORR 2006»
14 years 10 months ago
A library of Taylor models for PVS automatic proof checker
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
Francisco Cháves, Marc Daumas
ISSRE
2008
IEEE
15 years 4 months ago
Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs
Aspect-Oriented Programming (AOP) provides new modularization of software systems by encapsulating crosscutting concerns. AspectJ, an AOP language, uses abstractions such as point...
Prasanth Anbalagan, Tao Xie
ESAW
2009
Springer
15 years 4 months ago
Engineering Agent Organisations in a Business Environment
Abstract. Motivated by demands from the commercial world for software systems that can assist in the reorganisation of processes for the purpose of reducing business complexity, we...
Dimitris Traskas, Julian A. Padget
JSA
2006
167views more  JSA 2006»
14 years 10 months ago
Pattern-driven prefetching for multimedia applications on embedded processors
Multimedia applications in general and video processing, such as the MPEG4 Visual stream decoders, in particular are increasingly popular and important workloads for future embedd...
Hassan Sbeyti, Smaïl Niar, Lieven Eeckhout