2242 search results - page 225 / 449 » From testing to anti-product development |
170
click to vote
DAC
1994
ACM
15 years 10 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...
160
click to vote
ISER
1993
Springer
15 years 10 months ago
1993
Springer
Much of the focus of the research effort in path planning for mobile robots has centred on the problem of finding a path from a start location to a goal location, while minimising...
132
click to vote
ICSE
2010
IEEE-ACM
15 years 10 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
149
click to vote
COMPSYSTECH
2007
15 years 10 months ago
2007
: A pilot interface system is developed for computer-aided diagnostic and interventional assistance of cardiologists based on clinical trials. The system includes optimized methods...
150
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract--This paper presents several on-chip antenna structures that may be fabricated with standard CMOS technology for use at millimeter wave frequencies. On-chip antennas for w...