1606 search results - page 207 / 322 » XML-based programming language modeling: An approach to soft... |
ICFEM
1998
Springer
14 years 2 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
OpenMP has emerged as an important model and language extension for shared-memory parallel programming. On shared-memory platforms, OpenMP offers an intuitive, incremental approac...
ICFP
2009
ACM
14 years 11 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
SERP
2004
13 years 11 months ago
2004
A common assumption for many process-centred support environments is that they provide the same process support at different levels of the organization. We believe that the requir...
PLDI
2003
ACM
14 years 3 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...