Sciweavers

15635 search results - page 297 / 3127
» A Designing Model of XML-Dataweb
Sort
View
EUROMICRO
1996
IEEE
15 years 10 months ago
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...
GLVLSI
2009
IEEE
142views VLSI» more  GLVLSI 2009»
15 years 10 months ago
Design tools for emerging technologies
The rapidly expanding diversity of technology available at the nanoscale is disrupting the existing transistorcentric microelectronics design paradigm, resulting in nearly decade-l...
Jacob White
PVLDB
2008
89views more  PVLDB 2008»
15 years 6 months ago
Constrained physical design tuning
Abstract Existing solutions to the automated physical design problem in database systems attempt to minimize execution costs of input workloads for a given storage constraint. In t...
Nicolas Bruno, Surajit Chaudhuri
EURODAC
1995
IEEE
173views VHDL» more  EURODAC 1995»
15 years 10 months ago
Cooperative concurrency control for design environments
In this paper, we present a new model for concurrency control that supports cooperation of design tools and designers in a design environment. We capture characteristic access and...
Ansgar Bredenfeld
EUSFLAT
2001
15 years 8 months ago
Fuzzy logic in architectural design
Architecture is a multidisciplinary science with many dimensions.For a design task the major part of the design requirements are often qualitative (soft) next to quantitative desi...
Özer Ciftcioglu, S. Durmisevic