536 search results - page 76 / 108 » A computer verified, monadic, functional implementation of t... |
DSN
2009
IEEE
15 years 6 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
ICWS
2009
IEEE
15 years 9 months ago
2009
IEEE
The increasing usage of smart embedded devices is blurring the line between the virtual and real worlds. This creates new opportunities for applications to better integrate the re...
ISORC
2006
IEEE
15 years 5 months ago
2006
IEEE
Embedded real-time systems are becoming increasingly complex due to ever increasing size and functionality so that complexity management is of growing importance, especially in de...
APCSAC
2005
IEEE
15 years 5 months ago
2005
IEEE
Multimedia devices demands a platform integrated various functional modules and an increasing support of multiple standards. Stream architecture is able to solve the problem. Howev...
ICRA
1998
IEEE
15 years 4 months ago
1998
IEEE
Planar linear motors Sawyer motors have been used in industry as open-loop stepping motors, but their robustness and versatility has been limited. Using a sensor recently integrat...