4007 search results - page 197 / 802 » Automotive Software Integration |
144
click to vote
ISMS
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we propose an open source/open architecture framework for developing organ level surgical simulations. Our goal is to facilitate shared development of reusable models...
137
click to vote
VL
2002
IEEE
15 years 8 months ago
2002
IEEE
There has been little research on end-user program development beyond the programming phase. Devising ways to address additional phases may be critical, because research shows tha...
127
click to vote
ECRTS
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
137
click to vote
FM
1998
Springer
15 years 8 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
131
click to vote
PDP
1997
IEEE
15 years 8 months ago
1997
IEEE
Event tracing and monitoring of parallel applications are difficult if each processor has its own unsynchronized clock. A survey is given on several strategies to generate a glob...