Sciweavers

419 search results - page 17 / 84
» Heuristic design of property maps
Sort
View
GLOBECOM
2007
IEEE
14 years 4 months ago
Analyzing Performance of Multi-User Scheduling Jointly with AMC and ARQ
—This paper deals with the analytical evaluation of the average delay, the packet-loss rate (PLR) and the throughput of a multi-user (MU) wireless system that capitalizes on a cr...
Mario Poggioni, Luca Rugini, Paolo Banelli
JSC
2000
117views more  JSC 2000»
13 years 9 months ago
Goals and Benchmarks for Automated Map Reasoning
Tarski-Givant's map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-pr...
Andrea Formisano, Eugenio G. Omodeo, Marco Temperi...
DAC
2008
ACM
14 years 11 months ago
ADAM: run-time agent-based distributed application mapping for on-chip communication
Design-time decisions can often only cover certain scenarios and fail in efficiency when hard-to-predict system scenarios occur. This drives the development of run-time adaptive s...
Jörg Henkel, Mohammad Abdullah Al Faruque, Ru...
ISCA
2000
IEEE
111views Hardware» more  ISCA 2000»
14 years 2 months ago
HLS: combining statistical and symbolic simulation to guide microprocessor designs
As microprocessors continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models and sy...
Mark Oskin, Frederic T. Chong, Matthew K. Farrens
ICIP
2005
IEEE
14 years 3 months ago
Interactive 3D filter design for ultrasound artifact reduction
A method for detecting and reducing reverberation artifacts in ultrasound image sequences is described. A reverberation artifact localization map is produced using local Rf-bandwi...
Nina Eriksson Bylund, Mats T. Andersson, Hans Knut...