425 search results - page 80 / 85 » Tools for OpenMP application development: the POST project |
122
Voted
UML
2005
Springer
15 years 5 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
TOSEM
1998
14 years 11 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
136
Voted
GROUP
1993
ACM
15 years 3 months ago
1993
ACM
The Assistant for Cooperative Work (ASCW) is a powerful system for the management of distributed work. It consists of the Task Manager, the organizational information system TOSCA...
ACMACE
2007
ACM
15 years 3 months ago
2007
ACM
Emergent game formats, such as machinima, that use game worlds as expressive 3D performance spaces have new expressive powers with an increase of the quality of their underlying g...
121
click to vote
BMCBI
2011
14 years 3 months ago
2011
Background: Next generation ultra-sequencing technologies are starting to produce extensive quantities of data from entire human genome or exome sequences, and therefore new softw...