Sciweavers

4647 search results - page 809 / 930
» Composite Design Patterns
Sort
View
APSEC
2001
IEEE
15 years 1 months ago
Formal Specification of Mixed Components with Korrigan
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
Christine Choppy, Pascal Poizat, Jean-Claude Royer
ICES
2000
Springer
140views Hardware» more  ICES 2000»
15 years 1 months ago
Evolving Cellular Automata for Self-Testing Hardware
Testing is a key issue in the design and production of digital circuits: the adoption of BIST (Built-In Self-Test) techniques is increasingly popular, but requires efficient algori...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...
OOIS
2000
Springer
15 years 1 months ago
Architecture as Object Models of Software
ABSTRACT: Typically, we think of modelling some business domain when we see the word modelling in the context of software -- some business domain is not understood and therefore we...
Eyðun Eli Jacobsen
SIGGRAPH
1991
ACM
15 years 1 months ago
Spectrally optimal sampling for distribution ray tracing
Nonuniform sampling of images is a useful technique in computer graphics, because a properly designed pattern of samples can make aliasing take the form of high-frequency random n...
Don P. Mitchell
FAST
2008
15 years 8 days ago
Write Off-Loading: Practical Power Management for Enterprise Storage
In enterprise data centers power usage is a problem impacting server density and the total cost of ownership. Storage uses a significant fraction of the power budget and there are...
Dushyanth Narayanan, Austin Donnelly, Antony I. T....