503 search results - page 83 / 101 » Data Flow Analysis for CCS |
JAVA
1999
Springer
14 years 1 days ago
1999
Springer
Exploiting our experience developing the WebFlow system, we designed the Gateway system to provide seamless and secure access to computational resources at ASC MSRC. The Gateway f...
ICSM
1996
IEEE
13 years 12 months ago
1996
IEEE
It is well known that the extensive use of preprocessors can lead to serious maintenance problems. However, these tools are still heavily used by developers and maintainers to imp...
CCGRID
2004
IEEE
13 years 11 months ago
2004
IEEE
We conduct computer simulation experiments in pre-operative planning of vascular reconstruction with a physician in the experimental loop. We constructed a problem-solving environ...
AGP
1998
IEEE
13 years 11 months ago
1998
IEEE
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...
WSC
2000
13 years 9 months ago
2000
Researchers at the National Institute of Standards and Technology have proposed the development of neutral libraries of simulation components. The availability of such libraries w...