Sciweavers

1584 search results - page 137 / 317
» Continuous Optimization of Hyper-Parameters
Sort
View
JILP
2002
83views more  JILP 2002»
15 years 4 months ago
Using Statistical and Symbolic Simulation for Microprocessor Performance Evaluation
As microprocessor designs continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models...
Mark Oskin, Frederic T. Chong, Matthew K. Farrens
147
Voted
CSUR
1999
114views more  CSUR 1999»
15 years 4 months ago
Directions for Research in Approximate System Analysis
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
Patrick Cousot
149
Voted
JSS
1998
90views more  JSS 1998»
15 years 4 months ago
A taxonomy of distributed termination detection algorithms
An important problem in the ®eld of distributed systems is that of detecting the termination of a distributed computation. Distributed termination detection (DTD) is a dicult p...
Jeff Matocha, Tracy Camp
VLDB
2002
ACM
135views Database» more  VLDB 2002»
15 years 4 months ago
Monitoring Streams - A New Class of Data Management Applications
This paper introduces monitoring applications, which we will show differ substantially from conventional business data processing. The fact that a software system must process and...
Donald Carney, Ugur Çetintemel, Mitch Chern...
JSAC
2008
95views more  JSAC 2008»
15 years 3 months ago
Cognitive Medium Access: Constraining Interference Based on Experimental Models
In this paper we design a cognitive radio that can coexist with multiple parallel WLAN channels while abiding by an interference constraint. The interaction between both systems is...
Stefan Geirhofer, Lang Tong, Brian M. Sadler