Sciweavers

3913 search results - page 276 / 783
» complexity 2006
Sort
View
ISCAS
2006
IEEE
77views Hardware» more  ISCAS 2006»
16 years 6 days ago
A parallel search algorithm for CLNS addition optimization
— We present analytical formulas for the calculation of the memory requirements for a system using the Complex Logarithmic Number System (CLNS). Certain properties of the CLNS ad...
Panagiotis D. Vouzis, Mark G. Arnold
LICS
2006
IEEE
16 years 5 days ago
Avoiding Determinization
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...
Orna Kupferman
145
Voted
SKG
2006
IEEE
16 years 5 days 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
TAICPART
2006
IEEE
170views Education» more  TAICPART 2006»
16 years 5 days ago
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
José García-Fanjul, Claudio de la Ri...
WCRE
2006
IEEE
16 years 5 days ago
Quality Assessment of Enterprise Software Systems
In the last years, as object-oriented software systems became more and more complex, the need of having tools that help us to understand and to assess the quality of their design ...
Cristina Marinescu