Sciweavers

1365 search results - page 100 / 273
» Maximal Causality Analysis
Sort
View
APLAS
2010
ACM
15 years 1 months ago
Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
Jan Hoffmann 0002, Martin Hofmann
ENTCS
2008
142views more  ENTCS 2008»
15 years 26 days ago
Worst Case Reaction Time Analysis of Concurrent Reactive Programs
Reactive programs have to react continuously to their inputs. Here the time needed to react with the according output is important. While the synchrony hypothesis takes the view t...
Marian Boldt, Claus Traulsen, Reinhard von Hanxled...
95
Voted
IPL
2008
80views more  IPL 2008»
15 years 24 days ago
A simpler competitive analysis for scheduling equal-length jobs on one machine with restarts
We consider the online problem of scheduling jobs with equal processing times on a single machine. Each job has a release time and a deadline, and the goal is to maximize the numb...
Michael H. Goldwasser, Arundhati Bagchi Misra
88
Voted
CAD
2004
Springer
15 years 20 days ago
Customizability analysis in design for mass customization
Product customization has been recognized as an effective means to implement mass customization. This paper focuses on the customizability issue of design, that is, to evaluate th...
Jianxin Jiao, Mitchell M. Tseng
128
Voted
CVPR
2005
IEEE
16 years 2 months ago
Multilinear Independent Components Analysis
Independent Components Analysis (ICA) maximizes the statistical independence of the representational components of a training image ensemble, but it cannot distinguish between the...
M. Alex O. Vasilescu, Demetri Terzopoulos