Sciweavers

5030 search results - page 644 / 1006
» cases 2007
Sort
View
ICCD
2007
IEEE
212views Hardware» more  ICCD 2007»
16 years 3 months ago
Analytical thermal placement for VLSI lifetime improvement and minimum performance variation
DSM and nanometer VLSI designs are subject to an increasingly significant thermal effect on VLSI circuit lifetime and performance variation, which can be effectively subdued by V...
Andrew B. Kahng, Sung-Mo Kang, Wei Li, Bao Liu
DASFAA
2007
IEEE
266views Database» more  DASFAA 2007»
16 years 1 months ago
Compatibility Analysis and Mediation-Aided Composition for BPEL Services
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
Wei Tan, Fangyan Rao, Yushun Fan, Jun Zhu
ECML
2007
Springer
16 years 1 months ago
An Improved Model Selection Heuristic for AUC
Abstract. The area under the ROC curve (AUC) has been widely used to measure ranking performance for binary classification tasks. AUC only employs the classifier’s scores to ra...
Shaomin Wu, Peter A. Flach, Cèsar Ferri Ram...
ICALP
2007
Springer
16 years 1 months ago
Low Distortion Spanners
A spanner of an undirected unweighted graph is a subgraph that approximates the distance metric of the original graph with some specified accuracy. Specifically, we say H ⊆ G i...
Seth Pettie
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
16 years 1 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....