1146 search results - page 35 / 230 » Applications of the TAMPR Transformation System |
236
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...
134
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
In this paper we consider the asymptotic stability of a class of discrete-time switching linear systems, where each of the constituent subsystems is Schur stable. We first present...
113
click to vote
ICCAD
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper presents the underlying methodology of Cosmos, an interactive approach for hardware software co-design capable of handling multiprocessor systems and distributed archit...
144
click to vote
GG
2010
Springer
15 years 4 months ago
2010
Springer
We introduce an analysis method for graph transformation systems which checks that certain forbidden graphs are not reachable from the start graph. These forbidden graphs are speci...
165
click to vote
TCOM
2010
14 years 10 months ago
2010
Consider independent and identically distributed exponential random variables (r.vs) 1, 2, . . . , and positive scalars 1, 2, . . . , . In this letter, we present the probability...