1150 search results - page 178 / 230 » Advanced MPI Programming |
CCGRID
2001
IEEE
15 years 1 months ago
2001
IEEE
To ameliorate the need to spend significant programmer time modifying parallel programs to achieve highperformance, while maintaining compact, comprehensible source codes, this pa...
ARTS
1997
Springer
15 years 1 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
UML
2000
Springer
15 years 1 months ago
2000
Springer
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...
EWSPT
1995
Springer
15 years 1 months ago
1995
Springer
Software development organizations are beginning to recognize that measurement is a prerequisite for systematic process improvement, and have started to measure their products and...
ICRA
1995
IEEE
15 years 1 months ago
1995
IEEE
A systematic approach to the modeling of deformable ne linear objects is presented. Various deformable objects are manipulated in many manufacturing processes. Deformation of the...