Sciweavers

6102 search results - page 1093 / 1221
» Generating Optimizing Specializers
Sort
View
128
Voted
FMSD
2007
133views more  FMSD 2007»
15 years 4 months ago
Static priority scheduling of event-triggered real-time embedded systems
Real-time embedded systems are often specified as a collection of independent tasks, each generating a sequence of event-triggered code blocks, and the scheduling in this domain ...
Cagkan Erbas, Andy D. Pimentel, Selin Cerav-Erbas
MP
2006
87views more  MP 2006»
15 years 4 months ago
Convexity and decomposition of mean-risk stochastic programs
Abstract. Traditional stochastic programming is risk neutral in the sense that it is concerned with the optimization of an expectation criterion. A common approach to addressing ri...
Shabbir Ahmed
SAC
2006
ACM
15 years 4 months ago
Assisted verification of elementary functions using Gappa
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
Florent de Dinechin, Christoph Quirin Lauter, Guil...
181
Voted
SIGKDD
2008
150views more  SIGKDD 2008»
15 years 4 months ago
Learning to improve area-under-FROC for imbalanced medical data classification using an ensemble method
This paper presents our solution for KDD Cup 2008 competition that aims at optimizing the area under ROC for breast cancer detection. We exploited weighted-based classification me...
Hung-Yi Lo, Chun-Min Chang, Tsung-Hsien Chiang, Ch...
156
Voted
SIGMETRICS
2008
ACM
111views Hardware» more  SIGMETRICS 2008»
15 years 4 months ago
Predicting the resource consumption of network intrusion detection systems
Abstract. When installing network intrusion detection systems (NIDSs), operators are faced with a large number of parameters and analysis options for tuning trade-offs between dete...
Holger Dreger, Anja Feldmann, Vern Paxson, Robin S...
« Prev « First page 1093 / 1221 Last » Next »