3146 search results - page 405 / 630 » The use of compiler optimizations for embedded systems softw... |
166
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
— This paper presents a fast analytical method for estimating the throughput of pipelined asynchronous systems, and then applies that method to develop a fast solution to the pro...
158
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
157
click to vote
AAAI
2006
15 years 8 months ago
2006
As embedded systems grow increasingly complex, there is a pressing need for diagnosing and monitoring capabilities that estimate the system state robustly. This paper is based on ...
170
click to vote
SCP
2010
15 years 5 months ago
2010
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
158
click to vote
HRI
2006
ACM
2006
ACM
Usability evaluation of an automated mission repair mechanism for mobile robot mission specification
16 years 16 days ago
This paper describes a usability study designed to assess ease of use, user satisfaction, and performance of a mobile robot mission specification system. The software under consid...