2250 search results - page 415 / 450 » Interactive Explanation of Software Systems |
IPPS
1998
IEEE
14 years 27 days ago
1998
IEEE
Software DSMs have been a research topic for over a decade. While good performance has been achieved in some cases, consistent performance has continued to elude researchers. This...
TACAS
1998
Springer
14 years 26 days ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
HICSS
1996
IEEE
14 years 25 days ago
1996
IEEE
The venerable problem solving technique of simulation finds itself inthe midstof a revolution. Where once it was regarded as a "technique of last resort" for systems ana...
MICCAI
2000
Springer
14 years 7 days ago
2000
Springer
Performing a craniotomy will cause brain tissue to shift. As a result of the craniotomy, the accuracy of stereotactic localization techniques is reduced unless the brain shift can ...
PRICAI
2000
Springer
14 years 7 days ago
2000
Springer
Current research identifying architectures for a virtual enterprise has moved from information modelling to role modelling. Thus, a high level of autonomy results from the distribu...