Sciweavers

6740 search results - page 546 / 1348
» Using Classification as a Programming Language
Sort
View
PROCEDIA
2010
281views more  PROCEDIA 2010»
15 years 3 months ago
Introductory computational science using MATLAB and image processing
We describe a new course designed to introduce engineering students to computational thinking. One of the most significant challenges in teaching an introductory-level applied co...
D. Brian Larkins, William Harvey
FM
2009
Springer
157views Formal Methods» more  FM 2009»
15 years 11 months ago
Symbolic Predictive Analysis for Concurrent Programs
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gu...
148
Voted
ICCS
2001
Springer
15 years 9 months ago
Adaptive Load Balancing for MPI Programs
Abstract. Parallel Computational Science and Engineering (CSE) applications often exhibit irregular structure and dynamic load patterns. Many such applications have been developed ...
Milind A. Bhandarkar, Laxmikant V. Kalé, Er...
CP
2005
Springer
15 years 10 months ago
Robust Constraint Solving Using Multiple Heuristics
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...
Alfio Vidotto, Kenneth N. Brown, J. Christopher Be...
125
Voted
ADAEUROPE
2004
Springer
15 years 10 months ago
Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
Bárbara Álvarez, Juan A. Pastor, Fra...