Sciweavers

15660 search results - page 64 / 3132
» The Unbalance of Set Systems
Sort
View
MST
2007
80views more  MST 2007»
14 years 11 months ago
The Power of Commuting with Finite Sets of Words
We construct a finite language L such that the largest language commuting with L is not recursively enumerable. This gives a negative answer to the question raised by Conway in 1...
Michal Kunc
CCCG
2007
15 years 1 months ago
Contraction and Expansion of Convex Sets
Let S be a set system of convex sets in Rd . Helly’s theorem states that if all sets in S have empty intersection, then there is a subset S′ ⊂ S of size d+1 which also has e...
Michael Langberg, Leonard J. Schulman
ECRTS
2004
IEEE
15 years 3 months ago
A New Sufficient Feasibility Test for Asynchronous Real-Time Periodic Task Sets
The problem of feasibility analysis for asynchronous periodic task sets (i.e. where tasks can have an initial offset) is known to be co-NP-complete in the strong sense. A sufficie...
Rodolfo Pellizzoni, Giuseppe Lipari
AUTOMATICA
2007
70views more  AUTOMATICA 2007»
14 years 12 months ago
Squaring the circle: An algorithm for generating polyhedral invariant sets from ellipsoidal ones
This paper presents a new (geometrical) approach to the computation of polyhedral (robustly) positively invariant (PI) sets for general (possibly discontinuous) nonlinear discrete...
A. Alessio, Mircea Lazar, Alberto Bemporad, W. P. ...
HIPEAC
2007
Springer
15 years 6 months ago
MiDataSets: Creating the Conditions for a More Realistic Evaluation of Iterative Optimization
Abstract. Iterative optimization has become a popular technique to obtain improvements over the default settings in a compiler for performance-critical applications, such as embedd...
Grigori Fursin, John Cavazos, Michael F. P. O'Boyl...