Sciweavers

1165 search results - page 93 / 233
» Effective linear programming based placement methods
Sort
View
90
Voted
CAV
2009
Springer
171views Hardware» more  CAV 2009»
16 years 3 months ago
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...
Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik...
ASPDAC
2006
ACM
119views Hardware» more  ASPDAC 2006»
15 years 8 months ago
Using speculative computation and parallelizing techniques to improve scheduling of control based designs
Recent research results have seen the application of parallelizing techniques to high-level synthesis. In particular, the effect of speculative code transformations on mixed contr...
Roberto Cordone, Fabrizio Ferrandi, Marco D. Santa...
ICDM
2003
IEEE
71views Data Mining» more  ICDM 2003»
15 years 7 months ago
Tree-structured Partitioning Based on Splitting Histograms of Distances
We propose a novel clustering algorithm that is similar in spirit to classification trees. The data is recursively split using a criterion that applies a discrete curve evolution...
Longin Jan Latecki, Rajagopal Venugopal, Marc Sobe...
103
Voted
EOR
2010
99views more  EOR 2010»
15 years 2 months ago
Mathematical programming models for revenue management under customer choice
We study a network airline revenue management problem with discrete customer choice behavior. We discuss a choice model based on the concept of preference orders, in which custome...
Lijian Chen, Tito Homem-de-Mello
PLDI
1998
ACM
15 years 6 months ago
Quality and Speed in Linear-scan Register Allocation
A linear-scan algorithm directs the global allocation of register candidates to registers based on a simple linear sweep over the program being compiled. This approach to register...
Omri Traub, Glenn H. Holloway, Michael D. Smith