1216 search results - page 193 / 244 » Translation analysis and translation automation |
SBACPAD
2009
IEEE
14 years 2 months ago
2009
IEEE
RISC processors can be used to face the ever increasing demand for performance required by embedded systems. Nevertheless, this solution comes with the cost of poor code density. ...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— This work presents the control of multiple untethered rectilinear magnetic micro-robots (Mag-µBots) with dimensions 250 × 130 × 100 µm3 actuated by pulsed external ...
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— Protein synthesis is an essential process of cell cycle and growth in eukaryotic cells. The initiation stage of the translation process is known to be the most crucial in regul...
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...