Sciweavers

398 search results - page 43 / 80
» Automatic Trace-Based Performance Analysis of Metacomputing ...
Sort
View
ICSE
2008
IEEE-ACM
15 years 10 months ago
Calysto: scalable and precise extended static checking
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
Domagoj Babic, Alan J. Hu
CMG
2001
14 years 11 months ago
Software That Can Think and Do
Rapid advances in research and technology now allow data analysis and modeling of extremely complex systems. Methods from artificial intelligence (AI) such as Neural Networks have...
Bernard Domanski
CBMS
2006
IEEE
15 years 1 months ago
A Distributed Workflow Management System for Automated Medical Image Analysis and Logistics
Advances in medical image analysis have increased the need to integrate and deploy image analysis software in daily clinical routine and in epidemiological studies. We developed a...
Jeroen G. Snel, Sílvia Delgado Olabarriaga,...
CASES
2005
ACM
14 years 11 months ago
Optimizing stream programs using linear state space analysis
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
Sitij Agrawal, William Thies, Saman P. Amarasinghe
74
Voted
ICPR
2002
IEEE
15 years 2 months ago
Supervised Segmentation of Textures in Backscatter Images
In this paper we present an application of statistical pattern recognition for segmentation of backscatter images (BSE) in product analysis of laundry detergents. Currently, appli...
Pavel Paclík, Robert P. W. Duin, Geert M. P...