Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

jsiek's library [1011 articles]

Recent papers added to jsiek's library.
  • Lightweight and Generative Components I: Source-Level Components
    Generative and Component-Based Software Engineering: First International Symposium, GCSE'99, Erfurt, Germany, September 1999. Revised Papers (2000), 49.
    by Sam Kamin, Miranda Callahan, Lars Clausen
    posted to component generative meta-programming by jsiek on 2007-12-15 22:40:16 as **
  • Compile-time composition of run-time data and iteration reorderings
    (2003), pp. 91-102.
    by Michelle M Strout, Larry Carter, Jeanne Ferrante
    posted to compiler optimization sparse by jsiek on 2007-12-14 06:02:29 as **
  • Combined Selection of Tile Sizes and Unroll Factors Using Iterative Compilation
    (2000)
    by T Kisuki, PMW Knijnenburg, MFP O'Boyle
    posted to compilation iterative by jsiek on 2007-12-14 04:28:26 as **
  • ACME: adaptive compilation made efficient
    (2005), pp. 69-77.
    by Keith D Cooper, Alexander Grosul, Timothy J Harvey, Steven Reeves, Devika Subramanian, Linda Torczon, Todd Waterman
    posted to adaptive compile optimization by jsiek on 2007-12-14 04:27:50 as **
  • Iterative compilation
    (2002), pp. 171-187.
    by PMW Knijnenburg, T Kisuki, MFP O'Boyle
    posted to compilation iterative by jsiek on 2007-12-14 04:23:34 as **
  • OSKI: A library of automatically tuned sparse matrix kernels
    Journal of Physics: Conference Series, Vol. 16, No. 1. (2005), 521.
    by Richard Vuduc, James W Demmel, Katherine A Yelick
    posted to automatically-tuned matrix sparse by jsiek on 2007-12-14 03:21:06 as read along with 1 person jborn
  • A Systematic Approach to Model-Guided Empirical Search for Memory Hierarchy Optimization
    Languages and Compilers for Parallel Computing (2006), pp. 433-440.
    by Chun Chen, Jacqueline Chame, Mary Hall, Kristina Lerman
    posted to empirical optimization search by jsiek on 2007-12-12 03:34:00 as **
  • Model-Guided Empirical Optimization for Multimedia Extension Architectures: A Case Study
    Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International (2007), pp. 1-8.
    by C Chen, J Shin, S Kintali, J Chame, M Hall
    posted to empirical optimization by jsiek on 2007-12-12 03:32:52 as **
  • Improving whole-program locality using intra-procedural and inter-procedural transformations,
    Journal of Parallel and Distributed Computing, Vol. 65, No. 5. (May 2005), pp. 564-582.
    by Mahmut T Kandemir
    posted to inter-procedural locality by jsiek on 2007-12-12 03:11:39 as **
  • Programming for parallelism and locality with hierarchically tiled arrays
    (2006), pp. 48-57.
    by Ganesh Bikshandi, Jia Guo, Daniel Hoeflinger, Gheorghe Almasi, Basilio B Fraguela, Mar\ia J Garzarán, David Padua, Christoph von Praun
    posted to array blocking high-performance locality matrix parallel tiling by jsiek on 2007-12-11 23:14:14 as **
  • Think globally, search locally
    (2005), pp. 141-150.
    by Kamen Yotov, Keshav Pingali, Paul Stodghill
    posted to compiler empirical optimization search tuning by jsiek on 2007-12-10 21:50:35 as read
  • Gradual Typing for Objects
    ECOOP 2007 – Object-Oriented Programming (2007), pp. 2-27.
    by Jeremy Siek, Walid Taha
    posted to gradual-typing by jsiek on 2007-12-10 01:19:58 as read along with 1 person mcclurmc
  • On the Expressive Power of Programming Languages
    Vol. 432 (1990), pp. 134-151.
    by Matthias Felleisen
    edited by N Jones
    posted to expressivelanguage by jsiek on 2007-12-10 01:08:44 as ** along with 19 people and 1 group jkominek fgeller dherman jacob edcdave kschiess jrw kinaba zednenem water451 ryanc bunge mmuecke KarlKlose calvins pirapira ds mldechert dfisher NU-PRL
  • Concepts for C++0x (Revision 1)
    No. N1849=05-0109. (August 2005)
    by Douglas Gregor, Jeremy Siek, Jeremiah Willcock, Jaakko Järvi, Ronald Garcia, Andrew Lumsdaine
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • Implementing Concepts
    No. N1848=05-0108. (August 2005)
    by Douglas Gregor, Jeremy Siek
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • Explicit model definitions are necessary
    No. N1798=05-0058. (May 2005)
    by Douglas Gregor, Jeremy Siek
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • A concept design (Rev. 1)
    No. N1782=05-0042. (May 2005)
    by Bjarne Stroustrup, Gabriel Reis
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • notes A concept design
    (April 2005)
    by Bjarne Stroustrup, Gabriel Reis
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • Concepts for C++0x
    No. N1758=05-0018. (January 2005)
    by Jeremy Siek, Douglas Gregor, Ronald Garcia, Jeremiah Willcock, Jaakko Järvi, Andrew Lumsdaine
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • Proposed Draft Technical Report on C++ Library Extensions
    No. PDTR 19768, n1745 05-0005. (January 2005)
    by Matt Austern
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • Overloading Operator.() & Operator.*()
    No. N1671=04-0111. (September 2004)
    by Gary Powell, Douglas Gregor, Jaakko
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • notes Concepts -- syntax and composition
    No. N1536=03-0119. (October 2003)
    by Bjarne Stroustrup, Gabriel D Reis
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • notes Concepts -- Design choices for template argument checking
    No. N1522=03-0105. (October 2003)
    by Bjarne Stroustrup, Gabriel D Reis
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • notes Concepts -- A more abstract complement to type checking
    No. N1510=03-0093. (October 2003)
    by Bjarne Stroustrup
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • notes A Proposal to add Regular Expressions to the Standard Library
    No. J16/03-0011= WG21/N1429. (March 2003)
    by John Maddock
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • notes Mechanisms for querying types of expressions: Decltype and auto revisited
    No. N1527=03-0110. (September 2003)
    by J Järvi, B Stroustrup
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • notes Decltype and auto
    No. N1478=03-0061. (April 2003)
    by J Järvi, B Stroustrup, D Gregor, J Siek
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • Proposal for adding tuple types into the standard library
    No. N1403=02-0061. (2002)
    by J Järvi
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • notes A Proposal to add a Polymorphic Function Object Wrapper to the Standard Library
    No. N1375=02-0033. (August 2002)
    by Douglas Gregor
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • notes A proposal to add a reference wrapper to the standard library
    No. N1436=03-0018. (February 2003)
    by Douglas Gregor
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • notes A uniform method for computing function object return types (revision 1)
    No. N1454=03-0037. (April 2003)
    by Douglas Gregor
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • notes Variadic Templates: Exploring the Design Space
    No. N1704=04-0144. (September 2004)
    by Douglas Gregor, Jaakko Järvi, Gary Powell
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • notes Typesafe Variable-length Function and Template Argument Lists
    No. N1483=03-0066. (2003)
    by D Gregor, G Powell, J Järvi
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • notes A Proposal to Add an Enhanced Binder to the Library Technical Report
    No. N1455=03-0038. (2003)
    by P Dimov, D Gregor, J Järvi, G Powell
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • Technical Report on C++ performance
    No. N1487=03-0070. (2003)
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • notes C++ Standard Library Defect Report List (Revision 28)
    No. N1538=03-0121. (November 2003)
    by Matthew Austern
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • Explicit Namespaces
    No. N1691=04-0131. (September 2004)
    by David Abrahams
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • New Iterator Concepts
    No. N1477=03-0060. (2003)
    by David Abrahams, Jeremy Siek, Thomas Witt
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • Iterator Facade and Adaptor
    No. N1476=03-0059. (2003)
    by David Abrahams, Jeremy Siek, Thomas Witt
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • Language Support for Restricted Templates
    No. N1696=04-0136. (2004)
    by Peter Dimov
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • A syntactic approach to type soundness
    Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94.
    by Andrew K Wright, Matthias Felleisen
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • An Efficient Unification Algorithm
    ACM Trans. Program. Lang. Syst., Vol. 4, No. 2. (1982), pp. 258-282.
    by Alberto Martelli, Ugo Montanari
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • Calculating functional programs
    (2002), pp. 149-201.
    by Jeremy Gibbons
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • Cayenne: a language with dependent types
    (1998), pp. 239-250.
    by Lennart Augustsson
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • CLU Reference Manual
    No. LCS-TR-225. (October 1979)
    by Barbara Liskov, Russ Atkinson, Toby Bloom, Eliot Moss, Craig Schaffert, Bob Scheifler, Alan Snyder
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • Definitional interpreters for higher-order programming languages
    (1972), pp. 717-740.
    by John C Reynolds
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • Dynamic Typing in a Statically Typed Language
    ACM Transactions on Programming Languages and Systems, Vol. 13, No. 2. (April 1991), pp. 237-268.
    by Mart\in Abadi, Luca Cardelli, Benjamin Pierce, Gordon Plotkin
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • Fast Decision Procedures Based on Congruence Closure
    J. ACM, Vol. 27, No. 2. (1980), pp. 356-364.
    by Greg Nelson, Derek C Oppen
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • Featherweight Java: a minimal core calculus for Java and GJ
    ACM Transactions on Programming Languages and Systems, Vol. 23, No. 3. (2001), pp. 396-450.
    by Atsushi Igarashi, Benjamin C Pierce, Philip Wadler
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
  • How to make ad-hoc polymorphism less ad hoc
    (1989), pp. 60-76.
    by P Wadler, S Blott
    posted to bibtex-import by jsiek on 2007-12-09 16:29:50 as **
    • Note: You may cite this page as: http://www.citeulike.org/user/jsiek

    Result page: 1 2 3 4 5 6 7 8 9 10 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.