Sciweavers

2778 search results - page 415 / 556
» Reuse Technique in Hardware Design
Sort
View
ISCAS
2005
IEEE
191views Hardware» more  ISCAS 2005»
16 years 17 days ago
Behavioural modeling and simulation of a switched-current phase locked loop
Recent work has shown that the use of switched current methods can provide an effective route to implementation of analog IC functionality using a standard digital CMOS process. Fu...
Peter R. Wilson, Reuben Wilcock
FTRTFT
1998
Springer
15 years 11 months ago
On the Need for Practical Formal Methods
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
Constance L. Heitmeyer
148
Voted
MSS
2007
IEEE
112views Hardware» more  MSS 2007»
16 years 1 months ago
E-Beam Hard Disk Drive Using Gated Carbon Nano Tube Source and Phase Change Media
A novel high speed, high capacity electron-beam recording technique using nano technology in a Hard Disk Drive form factor is described. The e- beam source is a carbon nanotube...
William S. Oakley
213
Voted
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
16 years 1 months ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
EMSOFT
2007
Springer
16 years 1 months ago
The revenge of the overlay: automatic compaction of OS kernel code via on-demand code loading
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...
Haifeng He, Saumya K. Debray, Gregory R. Andrews