Sciweavers

11234 search results - page 445 / 2247
» A Microsurgery Simulation System
Sort
View
PVG
2003
IEEE
165views Visualization» more  PVG 2003»
16 years 5 hour ago
A PC Cluster System for Simultaneous Interactive Volumetric Modeling and Visualization
A number of problems are well suited for volumetric representation for both simulation and storage, however, the large amount of data that needs to be processed and rendered with ...
Shigeru Muraki, Eric B. Lum, Kwan-Liu Ma, Masato O...
CAV
1990
Springer
114views Hardware» more  CAV 1990»
15 years 10 months ago
Formal Verification of Digital Circuits Using Symbolic Ternary System Models
Ternary system modeling involves extending the traditional set of binary values
Randal E. Bryant, Carl-Johan H. Seger
WSC
2004
15 years 8 months ago
HDPS, an XML/XSLT Based Hierarchal Modeling System
HDPS is a practical system for designing modeling paradigms, creating hierarchal model definitions, and evaluating multi-paradigm models - particularly in business and finance. HD...
Richard Evan Curry, Kiriakos Vlahos
AGENTS
2000
Springer
15 years 11 months ago
Scalability of a Transactional Infrastructure for Multi-Agent Systems
Abstract. One of the reasons for attending to agent technology is the evergrowing complexity of information systems and the increasing difficulty to foresee and plan for all potent...
Khaled Nagi
ISLPED
1999
ACM
137views Hardware» more  ISLPED 1999»
15 years 11 months ago
Energy-efficient design of battery-powered embedded systems
—Energy-efficient design of battery-powered systems demands optimizations in both hardware and software. We present a modular approach for enhancing instruction level simulators ...
Tajana Simunic, Luca Benini, Giovanni De Micheli