Filters








6 Hits in 6.9 sec

AUTOGEN

Rezaul Chowdhury, Pramod Ganapathi, Jesmin Jahan Tithi, Charles Bachmeier, Bradley C. Kuszmaul, Charles E. Leiserson, Armando Solar-Lezama, Yuan Tang
2016 Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16  
We present AUTOGEN -an algorithm that for a wide class of dynamic programming (DP) problems automatically discovers highly efficient cache-oblivious parallel recursive divide-and-conquer algorithms from  ...  We use AUTOGEN to autodiscover efficient algorithms for several well-known problems.  ...  Part of this work used the Extreme Science and Engineering Discovery Environment (XSEDE) (XSE; Towns et al. 2014) , which is supported by NSF grant ACI-1053575.  ... 
doi:10.1145/2851141.2851167 dblp:conf/ppopp/ChowdhuryGTBKLS16 fatcat:l4t3kbi6ubdgfmuuuzb7tfvipi

Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations

Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles Leiserson, Rezaul Chowdhury
2016 SIGPLAN notices  
In this paper, we develop the technique in the context of a system called Bellmania that uses solver-aided tactics to derive parallel divide-and-conquer implementations of dynamic programming algorithms  ...  Bellmania includes a high-level language for specifying dynamic programming algorithms and a calculus that facilitates gradual transformation of these specifications into efficient implementations.  ...  We thank Shoaib Kamil and Adobe research for their feedback and support.  ... 
doi:10.1145/3022671.2983993 fatcat:e2bslzyf4jg3tot7o2jk5zzby4

Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations

Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles Leiserson, Rezaul Chowdhury
2016 Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016  
In this paper, we develop the technique in the context of a system called Bellmania that uses solver-aided tactics to derive parallel divide-and-conquer implementations of dynamic programming algorithms  ...  Bellmania includes a high-level language for specifying dynamic programming algorithms and a calculus that facilitates gradual transformation of these specifications into efficient implementations.  ...  We thank Shoaib Kamil and Adobe research for their feedback and support.  ... 
doi:10.1145/2983990.2983993 dblp:conf/oopsla/Itzhaky0SYLLC16 fatcat:ncrpu4dm7nf6tjn2m2vr3zok6q

Mapping Intermediality in Performance

Maria Chatzichristodoulou
2011 Contemporary Theatre Review  
the publication so efficiently.  ...  We also thank Emmy Kattenbelt for her work on constructing the index and Miguel Escobar for designing the diagrams of the nodes.  ...  Boenisch, originally from Munich, Germany, is a co-director, with Professors Patrice Pavis and Paul Allain, of the European Theatre Research Network (ETRN) at the University of Kent's School of Arts in  ... 
doi:10.1080/10486801.2011.562056 fatcat:kthirs3lrvhotfbmmm5sqbpjte

CONDITION-SPECIFIC DIFFERENTIAL SUBNETWORK ANALYSIS FOR BIOLOGICAL SYSTEMS

Deepali Jhamb, Xiaowen Liu, Mathew Palakal, David Stocum, Lang Li, Yunlong Liu
2015 unpublished
It was based on the "divide and conquer" policy and hence focused on identification of smaller, simpler solutions of a complex biological system.  ...  A confidence score was assigned to each peptide by qvalue (false discovery rate) [227] . The score was based on a random forest recursive partition supervised learning algorithm.  ...  Overall, we found substantial evidence for the high number of variants related to the neurodegenerative disorders and tumors in the KPGP dataset.  Proteomics Data Analysis: LC/MS/MS datasets at different  ... 
fatcat:uqoi6ssmqnei3o5fkkx7n4w45q

Vassar College Digital Window @ Vassar Conversational ecologies

Harrison Pickering, Harrison Pickering
unpublished
Glossary Appendix Bibliography 3 4-5 6-7 8-19 20-35 36-43 44-71  ...  This chapter deals with speculative product and spatial designs, and suggests a future for this research.  ...  them as technological solutions for human challenges 8 .  ... 
fatcat:bt7ic2ziwzfmxp7qeqy25keuxu