Sciweavers

36781 search results - page 13 / 7357
» Parameterizing by the Number of Numbers
Sort
View
JOT
2007
68views more  JOT 2007»
13 years 7 months ago
A Parameterized Type System for Simple Loose Ownership Domains
ome this restriction, we develop so-called loose domains which abstract over several precise domains. Similar to the relation between supertypes and subtypes, we get a relation bet...
Jan Schaefer, Arnd Poetzsch-Heffter
COCOON
2001
Springer
14 years 5 days ago
Decidable Approximations on Generalized and Parameterized Discrete Timed Automata
We consider generalized discrete timed automata with general linear relations over clocks and parameterized constants as clock constraints and with parameterized durations. We look...
Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer
CAGD
2008
143views more  CAGD 2008»
13 years 7 months ago
A genus oblivious approach to cross parameterization
In this paper we present a robust approach to construct a map between two triangulated meshes, M and M' of arbitrary and possibly unequal genus. We introduce a novel initial ...
Janine Bennett, Valerio Pascucci, Kenneth I. Joy
DKE
2007
101views more  DKE 2007»
13 years 7 months ago
Parameterized pattern queries
We introduce parameterized pattern queries as a new paradigm to extend traditional pattern expressions over sequence databases. A parameterized pattern is essentially a string mad...
Cédric du Mouza, Philippe Rigaux, Michel Sc...
ASAP
2005
IEEE
87views Hardware» more  ASAP 2005»
14 years 1 months ago
Expression Synthesis in Process Networks generated by LAURA
The COMPAAN/LAURA [18] tool chain maps nested loop applications written in Matlab onto reconfigurable platforms, such as FPGAs. COMPAAN rewrites the original Matlab application a...
Claudiu Zissulescu, Bart Kienhuis, Ed F. Depretter...