Sciweavers

1342 search results - page 117 / 269
» MEMS Design And Verification
Sort
View
ASSETS
2005
ACM
15 years 8 months ago
Verification of computer display pre-compensation for visual aberrations in an artificial eye
The possibility of pre-compensating images in a computer display according to the visual aberrations previously assessed in an optical system (e.g., the computer user’s eye) has...
Miguel Alonso Jr., Armando Barreto, Julie A. Jacko...
EJC
2008
15 years 8 months ago
Center Fragments for Upscaling and Verification in Database Semantics
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
Roland Hausser
DATE
2005
IEEE
154views Hardware» more  DATE 2005»
16 years 2 days ago
Top-Down Design of a Low-Power Multi-Channel 2.5-Gbit/s/Channel Gated Oscillator Clock-Recovery Circuit
We present a complete top-down design of a low-power multi-channel clock recovery circuit based on gated current-controlled oscillators. The flow includes several tools and method...
Paul Muller, Armin Tajalli, Seyed Mojtaba Atarodi,...
UML
2005
Springer
15 years 12 months ago
Towards a Generic Aspect Oriented Design Process
Aspect oriented design (AOD) research is fragmented. Barriers to AOD adoption are, in part, due to the fragmented nature of AOD research. Individually, many approaches provide ele...
Andrew Jackson, Siobhán Clarke
ICSE
2004
IEEE-ACM
15 years 11 months ago
Precise Modeling of Design Patterns in UML
Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be ...
Jeffrey Ka-Hing Mak, Clifford Sze-Tsan Choy, Danie...