Sciweavers

2887 search results - page 96 / 578
» Name Generation and Linearity
Sort
View
ECMDAFA
2009
Springer
109views Hardware» more  ECMDAFA 2009»
16 years 21 days ago
Uniform Random Generation of Huge Metamodel Instances
The size and the number of models is drastically increasing, preventing organizations from fully exploiting Model Driven Engineering benefits. Regarding this problem of scalabilit...
Alix Mougenot, Alexis Darrasse, Xavier Blanc, Mich...
SAS
2005
Springer
132views Formal Methods» more  SAS 2005»
15 years 11 months ago
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
Roberto Bagnara, Enric Rodríguez-Carbonell,...
ICCAD
1995
IEEE
120views Hardware» more  ICCAD 1995»
15 years 9 months ago
Pattern generation for a deterministic BIST scheme
Recently a deterministic built-in self-test scheme has been presented based on reseeding of multiple-polynomial linear feedback shift registers. This scheme encodes deterministic ...
Sybille Hellebrand, Birgit Reeb, Steffen Tarnick, ...
ADCM
2006
110views more  ADCM 2006»
15 years 6 months ago
Interpolation on lattices generated by cubic pencils
: Principal lattices are distributions of points in the plane obtained from a triangle by drawing equidistant parallel lines to the sides and taking the intersection points as node...
Jesús M. Carnicer, Mariano Gasca
CVPR
1998
IEEE
16 years 8 months ago
Generation of the Euclidean Skeleton from the Vector Distance Map by a Bisector Decision Rule
The Euclidean skeleton is essential for general shape representation. This paper provides an e cient method to extract a well-connected Euclidean skeleton by a neighbor bisector d...
Hong Li, Albert M. Vossepoel