6045 search results - page 251 / 1209 » Computable Linearizations of Well-partial-orderings |
197
click to vote
CISIS
2008
IEEE
16 years 1 months ago
2008
IEEE
Hardware/software partitioning is a crucial problem in embedded system design. In this paper, we provide an alternative approach to solve this problem using Particle Swarm Optimiz...
215
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
220
click to vote
BROADNETS
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper presents the design and dimensioning optimization of a novel optical network structure, called the Petaweb, having a total capacity of several Pb/s (1015 bit/s). Its...
180
click to vote
HAPTICS
2005
IEEE
16 years 25 days ago
2005
IEEE
The Maxima Haptics Package is a free software package for symbolic analysis of linear models of haptic devices and teleoperators. From a mechanical model of the haptic device, the...
205
click to vote
ICALP
2005
Springer
16 years 22 days ago
2005
Springer
Although every terminating loop has a ranking function, not every loop has a ranking function of a restricted form, such as a lexicographic tuple of polynomials over program variab...