Sciweavers

740 search results - page 41 / 148
» Recursive layout generation
Sort
View
ENTCS
2008
124views more  ENTCS 2008»
15 years 1 months ago
Stability for Effective Algebras
We give a general method for showing that all numberings of certain effective algebras are recursively equivalent. The method is based on computable approximation-limit pairs. The...
Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tuc...
ICFP
2001
ACM
16 years 2 months ago
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
Steven E. Ganz, Amr Sabry, Walid Taha
VLSID
2002
IEEE
130views VLSI» more  VLSID 2002»
16 years 2 months ago
Using Randomized Rounding to Satisfy Timing Constraints of Real-Time Preemptive Tasks
In preemptive real-time systems, a tighter estimate of the Worst Case Response Time(WCRT) of the tasks can be obtained if the layout of the tasks in memory is included in the esti...
Anupam Datta, Sidharth Choudhury, Anupam Basu
ICRA
2005
IEEE
174views Robotics» more  ICRA 2005»
15 years 7 months ago
Kinematics and Dexterity Analysis for a Novel 3-DOF Translational Parallel Manipulator
— A new three degrees of freedom translational parallel manipulator (TPM) with fixed actuators, called a general 3-PRC TPM, is proposed in this paper. The mobility of the manipu...
Yangmin Li, Qingsong Xu
DAC
2000
ACM
15 years 6 months ago
Block placement with symmetry constraints based on the O-tree non-slicing representation
The ordered tree (O-tree) representation has recently gained much interest in layout design automation. Different from previous topological representations of non-slicing floorpl...
Yingxin Pang, Florin Balasa, Koen Lampaert, Chung-...