Sciweavers

1724 search results - page 249 / 345
» Industrial applications
Sort
View
DAC
2009
ACM
16 years 1 months ago
ARMS - automatic residue-minimization based sampling for multi-point modeling techniques
This paper describes an automatic methodology for optimizing sample point selection for using in the framework of model order reduction (MOR). The procedure, based on the maximiza...
Jorge Fernandez Villena, Luis Miguel Silveira
ICFP
2009
ACM
16 years 1 months ago
Finding race conditions in Erlang with QuickCheck and PULSE
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
Koen Claessen, Michal Palka, Nicholas Smallbone, J...
TEI
2009
ACM
151views Hardware» more  TEI 2009»
16 years 1 months ago
Architales: physical/digital co-design of an interactive story table
Many research efforts today explore how digitally augmented tables enable face-to-face interaction with digital content and applications. Yet the design of digital tables is still...
Ali Mazalek, Claudia Winegarden, Tristan Al-Haddad...
DATE
2009
IEEE
134views Hardware» more  DATE 2009»
16 years 1 months ago
A diagnosis algorithm for extreme space compaction
— During volume testing, test application time, test data volume and high performance automatic test equipment (ATE) are the major cost factors. Embedded testing including builti...
Stefan Holst, Hans-Joachim Wunderlich
ICAC
2009
IEEE
16 years 1 months ago
Run-time correlation engine for system monitoring and testing
We present an approach and implementation for run-time correlation of large volumes of log data and symptom matching of know issues in the context of large enterprise applications...
Viliam Holub, Trevor Parsons, Patrick O'Sullivan, ...