80 search results - page 15 / 16 » A visual interactive debugger based on symbolic execution |
ER
2007
Springer
13 years 12 months ago
2007
Springer
Recent research in e-contracts is concerned with the development of frameworks and tools to support contracts. EREC framework is one that enables modelling and deployment of e-con...
VISUALIZATION
2005
IEEE
13 years 11 months ago
2005
IEEE
GPU-based raycasting offers an interesting alternative to conventional slice-based volume rendering due to the inherent flexibility and the high quality of the generated images. ...
ISVLSI
2006
IEEE
13 years 11 months ago
2006
IEEE
Due to increasing design complexity new methodologies for system modeling have been established in VLSI CAD. The SystemC methodology gains a significant reduction of design cycle...
WSC
2007
13 years 8 months ago
2007
As trade among countries grows, the performance of container terminals is becoming more important than ever. In this paper, we present a 3D real-time-visualization containertermin...
TOMS
1998
13 years 5 months ago
1998
This paper presents the software architecture and implementation of the problem solving environment (PSE) PELLPACK for modeling physical objects described by partial differential ...