Sciweavers

2245 search results - page 126 / 449
» A Case Study Implementing Features Using AspectJ
Sort
View
ICEIS
2009
IEEE
15 years 2 months ago
Pattern Recognition for Downhole Dynamometer Card in Oil Rod Pump System using Artificial Neural Networks
: This paper presents the development of an Artificial Neural Network system for Dynamometer Card pattern recognition in oil well rod pump systems. It covers the establishment of p...
Marco A. D. Bezerra, Leizer Schnitman, Manuel de A...
ICHIM
2001
91views more  ICHIM 2001»
15 years 6 months ago
A View on the Design of Usable Museum Appliances
This paper poses the problem of designing Museum Appliances (MA), which are usable, i.e. easy to learn and easy to use. A recently proposed model of multimedia Human Computer Inte...
Piero Mussio, Augusto Celentano
147
Voted
CAV
2000
Springer
125views Hardware» more  CAV 2000»
15 years 8 months ago
Efficient Reachability Analysis of Hierarchical Reactive Machines
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
Rajeev Alur, Radu Grosu, Michael McDougall
FORMATS
2007
Springer
15 years 11 months ago
Hypervolume Approximation in Timed Automata Model Checking
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
Víctor A. Braberman, Jorge Lucángeli...
EGC
2005
Springer
15 years 10 months ago
Optimising Parallel Applications on the Grid Using Irregular Array Distributions
In this paper we propose a new approach for scheduling data parallel applications on the Grid using irregular array distributions. We implement the scheduler as a new case study fo...
Radu Prodan, Thomas Fahringer