2662 search results - page 71 / 533 » Tools Demonstrations |
ISHPC
2000
Springer
15 years 1 months ago
2000
Springer
The shared-memory programming model is a very effective way to achieve parallelism on shared memory parallel computers. As great progress was made in hardware and software technolo...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
Software product lines are multiple systems that are developed synergistically in an attempt to exploit scope economies. They are a promising approach to more effectively developi...
IV
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper reports work in progress on the analysis and visualization of the spatial and temporal distribution of user interaction data collected in threedimensional (3-D) virtual...
ISOLA
2004
Springer
15 years 3 months ago
2004
Springer
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...
SAFECOMP
1998
Springer
15 years 1 months ago
1998
Springer
: This paper presents a process for the stepwise refinement of safety code assertions from identified system hazards. The code assertions are intended for use in system safety veri...