Sciweavers

515 search results - page 81 / 103
» Approximating Markov Processes by Averaging
Sort
View
INFOCOM
1997
IEEE
15 years 6 months ago
Integrated Rate and Credit Feedback Control for ABR Service in ATM Networks
We propose a ow-control scheme that combines the merits of credit- and rate-based ow-control schemes by applying direct control over both bandwidth and bu er resources. The goal...
Xi Zhang, Kang G. Shin, Qin Zheng
CEC
2007
IEEE
15 years 3 months ago
Fitness inheritance in evolutionary and multi-objective high-level synthesis
Abstract—The high-level synthesis process allows the automatic design and implementation of digital circuits starting from a behavioral description. Evolutionary algorithms are v...
Christian Pilato, Gianluca Palermo, Antonino Tumeo...
JOI
2007
60views more  JOI 2007»
15 years 1 months ago
On the h-index, the size of the Hirsch core and Jin's A-index
Hirsch’s h-index seeks to give a single number that in some sense summarizes an author’s research output and its impact. Essentially, the h-index seeks to identify the most pr...
Quentin L. Burrell
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
15 years 7 months ago
Model Checking Discounted Temporal Properties
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
Luca de Alfaro, Marco Faella, Thomas A. Henzinger,...
GIS
2004
ACM
16 years 2 months ago
Exploiting online sources to accurately geocode addresses
Many Geographic Information System (GIS) applications require the conversion of an address to geographic coordinates. This process is called geocoding. The traditional geocoding m...
Rahul Bakshi, Craig A. Knoblock, Snehal Thakkar