Sciweavers

3244 search results - page 467 / 649
» On convex complexity measures
Sort
View
TPHOL
2005
IEEE
16 years 3 days ago
Mechanized Metatheory for the Masses: The PoplMark Challenge
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
Brian E. Aydemir, Aaron Bohannon, Matthew Fairbair...
MM
2005
ACM
78views Multimedia» more  MM 2005»
16 years 2 days ago
Validating cardiac echo diagnosis through video similarity
Video data is increasingly being used in medical diagnosis. Due to the quality of the video and the complexities of underlying motion captured, it is difficult for an in-experienc...
Tanveer Fathima Syeda-Mahmood, Dulce B. Ponceleon,...
MSWIM
2005
ACM
16 years 2 days ago
YAES: a modular simulator for mobile networks
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
Ladislau Bölöni, Damla Turgut
SC
2005
ACM
16 years 2 days ago
PerfExplorer: A Performance Data Mining Framework For Large-Scale Parallel Computing
Parallel applications running on high-end computer systems manifest a complexity of performance phenomena. Tools to observe parallel performance attempt to capture these phenomena...
Kevin A. Huck, Allen D. Malony
SIGECOM
2005
ACM
166views ECommerce» more  SIGECOM 2005»
16 years 2 days ago
A price-anticipating resource allocation mechanism for distributed shared clusters
In this paper we formulate the fixed budget resource allocation game to understand the performance of a distributed marketbased resource allocation system. Multiple users decide ...
Michal Feldman, Kevin Lai, Li Zhang