Sciweavers

6102 search results - page 602 / 1221
» Generating Optimizing Specializers
Sort
View
219
Voted
DAC
2004
ACM
16 years 26 days ago
Correct-by-construction layout-centric retargeting of large analog designs
Aggressive design cycles in the semiconductor industry demand a design-reuse principle for analog circuits. The strong impact of layout intricacies on analog circuit performance n...
Sambuddha Bhattacharya, Nuttorn Jangkrajarng, Roy ...
IQIS
2004
ACM
16 years 25 days ago
Mining for Patterns in Contradictory Data
Information integration is often faced with the problem that different data sources represent the same set of the real-world objects, but give conflicting values for specific prop...
Heiko Müller, Ulf Leser, Johann Christoph Fre...
SBCCI
2004
ACM
127views VLSI» more  SBCCI 2004»
16 years 25 days ago
A formal software synthesis approach for embedded hard real-time systems
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
Raimundo S. Barreto, Marília Neves, Meuse N...
241
Voted
CSCLP
2004
Springer
16 years 24 days ago
Automatically Exploiting Symmetries in Constraint Programming
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...
Arathi Ramani, Igor L. Markov
EUC
2004
Springer
16 years 24 days ago
A Collaborative and Semantic Data Management Framework for Ubiquitous Computing Environment
One fundamental task to realize the envisioned ubiquitous computing paradigm is the proper management of the data generated in this environment. The special characteristics of high...
Weisong Chen, Cho-Li Wang, Francis C. M. Lau