3706 search results - page 363 / 742 » The Transformational Approach to Program Development |
143
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Reliability in embedded processors can be improved by control flow checking and such checking can be conducted using software or hardware. Proposed software-only approaches suffe...
112
click to vote
IOLTS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper proposes a new solution for the diagnosis of faults into embedded RAMs, currently under evaluation within STMicroelectronics. The proposed scheme uses dedicated circuit...
116
Voted
GG
2008
Springer
15 years 5 months ago
2008
Springer
A variety of computation models have been developed using graphs and graph transformations. These include models for sequential, distributed, parallel or mobile computation. A grap...
132
click to vote
RV
2010
Springer
15 years 2 months ago
2010
Springer
We present the InterAspect instrumentation framework for GCC, a widely used compiler infrastructure. The addition of plugin support in the latest release of GCC makes it an attract...
131
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
The development of coherent and dynamic behaviors for mobile robots is an exceedingly complex endeavor ruled by task objectives, environmental dynamics and the interactions within...