Sciweavers

312 search results - page 12 / 63
» Restricting and Embedding Imperatives
Sort
View
CORR
2010
Springer
144views Education» more  CORR 2010»
14 years 9 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
GD
2006
Springer
15 years 1 months ago
Planarity Testing and Optimal Edge Insertion with Embedding Constraints
The planarization method has proven to be successful in graph drawing. The output, a combinatorial planar embedding of the so-called planarized graph, can be combined with state-o...
Carsten Gutwenger, Karsten Klein, Petra Mutzel
IPPS
2005
IEEE
15 years 3 months ago
Reliability-Conscious Process Scheduling under Performance Constraints in FPGA-Based Embedded Systems
This paper proposes, for the FPGA-based embedded systems, a reliability-aware process scheduling strategy that operates under performance bounds. A unique characteristic of the pr...
Guilin Chen, Mahmut T. Kandemir, Suleyman Tosun, U...
ICRA
2010
IEEE
133views Robotics» more  ICRA 2010»
14 years 7 months ago
Spring Loaded Inverted Pendulum embedding: Extensions toward the control of compliant running robots
This paper explores systematic control strategies for the stabilization of running on compliant robots with nontrivial torso pitch dynamics. The Spring Loaded Inverted Pendulum (SL...
Ioannis Poulakakis
DAC
1998
ACM
15 years 10 months ago
Code Compression for Embedded Systems
Memory is one of the most restricted resources in many modern embedded systems. Code compression can provide substantial savings in terms of size. In a compressed code CPU, a cach...
Haris Lekatsas, Wayne Wolf