Sciweavers

9284 search results - page 406 / 1857
» Knowledge State Algorithms
Sort
View
DAC
2000
ACM
16 years 8 months ago
Formal verification of iterative algorithms in microprocessors
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
Mark Aagaard, Robert B. Jones, Roope Kaivola, Kath...
206
Voted
CC
2010
Springer
150views System Software» more  CC 2010»
16 years 2 months ago
Practical Extensions to the IFDS Algorithm
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
Nomair A. Naeem, Ondrej Lhoták, Jonathan Ro...
AAIM
2007
Springer
94views Algorithms» more  AAIM 2007»
16 years 1 months ago
An Ingenious, Piecewise Linear Interpolation Algorithm for Pricing Arithmetic Average Options
Abstract. Pricing arithmetic average options continues to intrigue researchers in the field of financial engineering. Since there is no analytical solution for this problem until...
Tian-Shyr Dai, Jr-Yan Wang, Hui-Shan Wei
GCC
2003
Springer
16 years 19 days ago
A Load Balancing Algorithm for Web Based Server Grids
Load balance is a critical issue in distributed systems, such as server grids. In this paper, we propose a Balanced Load Queue (BLQ) model, which combines the queuing theory and hy...
Shui Yu, John Casey, Wanlei Zhou
CDC
2009
IEEE
211views Control Systems» more  CDC 2009»
16 years 4 days ago
An event-triggered distributed primal-dual algorithm for Network Utility maximization
Abstract— Many problems associated with networked systems can be formulated as network utility maximization (NUM) problems. NUM problems maximize a global separable measure of ne...
Pu Wan, Michael D. Lemmon