257 search results - page 20 / 52 » Functional Debug Techniques for Embedded Systems |
144
click to vote
RSP
2005
IEEE
15 years 9 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...
109
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Now a days, power has become a primary consideration in hardware design, and is critical in computer systems especially for portable devices with high performance and more functio...
150
Voted
ESTIMEDIA
2009
Springer
15 years 1 months ago
2009
Springer
Abstract--Memory accesses are a major cause of energy consumption for embedded systems and the stack is a frequent target for data accesses. This paper presents a fully software te...
252
Voted
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
139
click to vote
DAC
1999
ACM
16 years 4 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...