2141 search results - page 49 / 429 » Embedded Software |
172
click to vote
RSP
2005
IEEE
15 years 11 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
165
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
- A 16-bit THUMB instruction set microprocessor is proposed for low cost/power in short-precision computing. It achieves 40% gate count, 51% power consumption and 160% clock freque...
156
click to vote
IPPS
2006
IEEE
15 years 12 months ago
2006
IEEE
In this paper, we present a robot middleware technology named Robot Software Communications Architecture (RSCA) for its use in networked home service robots. The RSCA provides a s...
281
click to vote
ASWSD
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
149
click to vote
DDECS
2008
IEEE
16 years 13 days ago
2008
IEEE
— Testing SoC is a challenging task, especially when addressing complex and highfrequency devices. Among the different techniques that can be exploited, Software-Based Selft-Test...