Sciweavers

567 search results - page 11 / 114
» Decomposing replicable functions
Sort
View
ISSAC
2011
Springer
225views Mathematics» more  ISSAC 2011»
12 years 10 months ago
On the structure of compatible rational functions
A finite number of rational functions are compatible if they satisfy the compatibility conditions of a first-order linear functional system involving differential, shift and q-...
Shaoshi Chen, Ruyong Feng, Guofeng Fu, Ziming Li
AEI
2007
52views more  AEI 2007»
13 years 7 months ago
A language for functional interpretation of model based simulation
Functional modeling is in use for the interpretation of the results of model based simulation of engineered systems for design analysis, enabling the automatic generation of a tex...
Jonathan Bell, Neal Snooke, Chris Price
SKG
2006
IEEE
14 years 1 months ago
Functional Dependency Maintenance and Lossless Join Decomposition in XML Model Decomposition
The paper studies “equality” in XML model decomposition. XML IFD, TFD, AFD and MVD are proposed. According to complexity of these FDs, four XML normal forms are presented. FD ...
Xia Li, Fei-yue Ye, Hong-juan Yuan, Wen-tao Peng
DAC
2008
ACM
14 years 8 months ago
Bi-decomposing large Boolean functions via interpolation and satisfiability solving
Boolean function bi-decomposition is a fundamental operation in logic synthesis. A function f(X) is bi-decomposable under a variable partition XA, XB, XC on X if it can be written...
Ruei-Rung Lee, Jie-Hong Roland Jiang, Wei-Lun Hung
GRID
2005
Springer
14 years 27 days ago
Wide area data replication for scientific collaborations
Scientific applications require sophisticated data management capabilities. We present the design and implementation of a Data Replication Service (DRS), one of a planned set of h...
Ann L. Chervenak, Robert Schuler, Carl Kesselman, ...