Sciweavers

4150 search results - page 243 / 830
» A Practical Approach to Model Extension
Sort
View
SOSP
2003
ACM
16 years 1 months ago
Improving the reliability of commodity operating systems
Despite decades of research in extensible operating system technology, extensions such as device drivers remain a significant cause of system failures. In Windows XP, for example,...
Michael M. Swift, Brian N. Bershad, Henry M. Levy
DATE
2005
IEEE
154views Hardware» more  DATE 2005»
15 years 10 months 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,...
BIRTHDAY
2003
Springer
15 years 9 months ago
Petri Net Analysis Using Invariant Generation
Abstract. Petri nets have been widely used to model and analyze concurrent systems. Their wide-spread use in this domain is, on one hand, facilitated by their simplicity and expres...
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
ACL
2004
15 years 5 months ago
Extending the BLEU MT Evaluation Method with Frequency Weightings
We present the results of an experiment on extending the automatic method of Machine Translation evaluation BLUE with statistical weights for lexical items, such as tf.idf scores....
Bogdan Babych, Tony Hartley
TWC
2008
101views more  TWC 2008»
15 years 4 months ago
Interplay of spectral efficiency, power and doppler spectrum for reference-signal-assisted wireless communication
Expressions relating spectral efficiency, power, and Doppler spectrum, are derived for Rayleigh-faded wireless channels with Gaussian signal transmission. No side information on th...
Angel Lozano