3330 search results - page 348 / 666 » software 2010 |
146
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The semi-automatic or automatic synthesis of robot controller software is both desirable and challenging. Synthesis of rather simple behaviors such as collision avoidance by apply...
131
click to vote
CC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We introduce the concept of future values. Using future values it is possible to represent programs in a new control-flow form such that on any control flow path the data...
164
click to vote
LCTRTS
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we propose a hybrid-level flash translation layer (FTL) called RNFTL (Reuse-Aware NFTL) to improve the endurance and space utilization of NAND flash memory. Our bas...
162
click to vote
LCTRTS
2010
Springer
15 years 2 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
145
click to vote
CASES
2010
ACM
15 years 1 months ago
2010
ACM
3-D circuit-level integration is a chip fabrication technique in which two or more dies are stacked and combined into a single circuit through the use of vertical electroconductiv...