Sciweavers

1688 search results - page 195 / 338
» Implementing Optimizations at Decode Time
Sort
View
ICCAD
1996
IEEE
119views Hardware» more  ICCAD 1996»
14 years 13 days ago
An algorithm for synthesis of system-level interface circuits
We describe an algorithm for the synthesis and optimization of interface circuits for embedded system components such as microprocessors, memory ASIC, and network subsystems with ...
Ki-Seok Chung, Rajesh K. Gupta, C. L. Liu
INFOCOM
1994
IEEE
14 years 11 days ago
A Self-Clocked Fair Queueing Scheme for Broadband Applications
A n eficient fair queueing scheme which is feasible for broadband implementation is proposed and its performance is analyzed. We define fairness in a selfcontained manner, elimina...
S. Jamaloddin Golestani
NJC
2006
102views more  NJC 2006»
13 years 8 months ago
Online Evaluation of Regular Tree Queries
Regular tree queries (RTQs) are a class of queries considered especially relevant for the expressiveness and evaluation of XML query languages. The algorithms proposed so far for ...
Alexandru Berlea
AC
2005
Springer
13 years 8 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
ML
1998
ACM
102views Machine Learning» more  ML 1998»
13 years 8 months ago
Statistical Mechanics of Online Learning of Drifting Concepts: A Variational Approach
We review the application of statistical mechanics methods to the study of online learning of a drifting concept in the limit of large systems. The model where a feed-forward netwo...
Renato Vicente, Osame Kinouchi, Nestor Caticha