651 search results - page 78 / 131 » Application-guided tool development for architecturally dive... |
DAC
1994
ACM
15 years 1 months ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
CMPB
2010
14 years 10 months ago
2010
Abstract. Tracking growth of lethal ice is critical to success of percutaneous ablations using supercooled probes introduced into cancerous lesions. Physicians lack planning tools ...
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Multi-agent systems are difficult to develop. One reason for this is that agents are embedded in a society where all agents must agree to obey certain social norms in order for...
WSC
2000
14 years 11 months ago
2000
Analysis of large, complex systems requires simulations of hybrid-system dynamics, i.e., dynamics which are best described by a combination of continuous-time and discrete-event m...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
One trend in day-to-day computing involves moving seamlessly from large powerful workstations to small handheld devices. A second trend is continuous collaboration with colleagues...