974 search results - page 161 / 195 » Hardware Synthesis from Term Rewriting Systems |
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
- Many of NASA's planned missions for the coming decade will require a pinpoint landing (PPL) capability, whether for sample acquisition and return or for precise insertion in...
IEEEINTERACT
2003
IEEE
14 years 3 months ago
2003
IEEE
For call intensive programs, function calls are major bottlenecks during program execution since they usually force register contents to be spilled into memory. Such register to m...
FPGA
2011
ACM
13 years 1 months ago
2011
ACM
FPGAs have been used in many applications to achieve orders-of-magnitude improvement in absolute performance and energy efficiency relative to conventional microprocessors. Despit...
CODES
2007
IEEE
14 years 4 months ago
2007
IEEE
Embedded single-chip heterogeneous multiprocessor (SCHM) systems experience frequent system events such as task preemption, power-saving voltage/frequency scaling, or arrival of n...
RV
2007
Springer
14 years 4 months ago
2007
Springer
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...