The main purpose of event-based control, if compared to periodic control, is to minimize data transfer or processing power in networked control systems. Current methods have an (i...
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...
Zurab Khasidashvili, Gavriel Gavrielov, Tom Melham
1 Collaboration technologies often provide benefits to teams working together to achieve a common goal. Such technologies may be abandoned, however, if users are dissatisfied with...
Bruce A. Reinig, Robert O. Briggs, Gert-Jan de Vre...
Continuous improvements in integration scale have made major microprocessor vendors to move to designs that integrate several processor cores on the same chip. Chip-multiprocessor...
Intravascular ultrasound (IVUS) is a catheter-based modality which is used to produce high-resolution, cross-sectional images of the interior of blood vessels. By capturing 2-D IV...
Sean M. O'Malley, Stephane G. Carlier, Morteza Nag...