1460 search results - page 89 / 292 » Very Lightweight Requirements Modeling |
168
click to vote
SC
2005
ACM
15 years 9 months ago
2005
ACM
On SMP clusters, mixed mode collective MPI communications, which use shared memory communications within SMP nodes and point-to-point communications between SMP nodes, are more eď...
134
click to vote
WOSP
2004
ACM
15 years 9 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
132
click to vote
FPL
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Hardware realization of kernel loops holds the promise of accelerating the overall application performance and is therefore an important part of the synthesis process. In...
171
click to vote
DEXA
1997
Springer
15 years 7 months ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...
126
click to vote
ENGL
2006
15 years 4 months ago
2006
Researchers have shown a considerable amount of interest in the control of pneumatic drives over the past decade, for two main reasons, firstly, the response of the system is very ...