注册 | 登录 | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

GeoffWozniak's library [38 articles]

最近录入 GeoffWozniak's 文献库.
  • Dynamic query re-optimization
    Scientific and Statistical Database Management, 1999. Eleventh International Conference on (1999), pp. 264-273.
    by KW Ng, Zhenghao Wang, RR Muntz, S Nittel
    posted to no-tag by GeoffWozniak on 2008-06-30 17:02:01 as **
  • A Sufficient Condition for Backtrack-Free Search
    J. ACM, Vol. 29, No. 1. (January 1982), pp. 24-32.
    by Eugene C Freuder
    posted to no-tag by GeoffWozniak on 2008-06-22 01:12:34 as ** along with 2 people pirapira lcigler
  • Principles and Practice of Constraint Programming – CP 2003
    Principles and Practice of Constraint Programming – CP 2003 (2003), pp. 377-391.
    by Keith Golden, Wanlin Pang
    posted to no-tag by GeoffWozniak on 2008-06-22 01:11:13 as **
  • An Expert System for Automatic Codeing of Abstract Data Type Specifications
    (1980), pp. 431-441.
    by H Eigemeier, Christoph Knabe, Peter Raulefs, K Tramer
    posted to no-tag by GeoffWozniak on 2007-11-14 02:57:40 as ***
  • Structural inference for semistructured data
    (2001), pp. 159-166.
    by Jason Sankey, Raymond K Wong
    posted to no-tag by GeoffWozniak on 2007-11-13 23:54:19 as **
  • Automatic design pattern detection
    Program Comprehension, 2003. 11th IEEE International Workshop on (2003), pp. 94-103.
    by D Heuzeroth, T Holl, G Hogstrom, W Lowe
    posted to no-tag by GeoffWozniak on 2007-11-08 00:30:21 as ** along with 1 person klinsz
  • Towards the implementation of a uniform object model
    Parallel Computer Architectures (1993), pp. 180-189.
    by Franz Hauck
    posted to no-tag by GeoffWozniak on 2007-11-06 14:19:57 as **
  • Program partitioning: a framework for combining static and dynamic analysis
    (2006), pp. 11-16.
    by Pankaj Jalote, Vipindeep Vangala, Taranbir Singh, Prateek Jain
    posted to no-tag by GeoffWozniak on 2007-11-03 03:02:29 as **
  • Knowledge-based program analysis
    Software, IEEE, Vol. 7, No. 1. (1990), pp. 74-81.
    by MT Harandi, JQ Ning
    posted to no-tag by GeoffWozniak on 2007-11-03 03:02:14 as **
  • Securing web application code by static analysis and runtime protection
    (2004), pp. 40-52.
    by Yao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung Tsai, Der-Tsai Lee, Sy-Yen Kuo
    posted to no-tag by GeoffWozniak on 2007-11-03 02:51:17 as ** along with 4 people mercutio linekin emiliorp network01
  • Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design
    (1994)
    by Carl A Gunter, John C Mitchell
    posted to design language types by GeoffWozniak on 2007-10-29 21:06:35 as **
  • Implementing sorting in database systems
    ACM Comput. Surv., Vol. 38, No. 3. (2006)
    by Goetz Graefe
    posted to no-tag by GeoffWozniak on 2007-09-20 02:42:42 as ***
  • Using interface inheritance to address problems in system software evolution
    SIGPLAN Not., Vol. 29, No. 8. (August 1994), pp. 119-128.
    by Graham Hamilton, Sanjay Radia
    posted to adaptation structural typing by GeoffWozniak on 2007-09-17 15:51:31 as **
  • Programming in an Interactive Environment: the “Lisp” Experience
    ACM Comput. Surv., Vol. 10, No. 1. (March 1978), pp. 35-71.
    by Erik Sandewall
  • Advances in dataflow programming languages
    ACM Comput. Surv., Vol. 36, No. 1. (March 2004), pp. 1-34.
    by Wesley M Johnston, Paul RP Hanna, Richard J Millar
  • Data-Intensive Web Sites: Design and Maintenance
    World Wide Web, Vol. 4, No. 1. (1 March 2001), pp. 21-47.
    by Paolo Atzeni, Paolo Merialdo, Giansalvatore Mecca
    posted to data methodology restructure website by GeoffWozniak on 2007-09-08 11:51:17 as **
  • Improving Data Access for Computational Grid Applications
    Cluster Computing, Vol. 9, No. 1. (January 2006), pp. 79-99.
    posted to data representation restructure by GeoffWozniak on 2007-09-08 11:49:37 as **
  • Active database systems
    ACM Comput. Surv., Vol. 31, No. 1. (March 1999), pp. 63-103.
    by Norman W Paton, Oscar D\iaz
    posted to adaptation data by GeoffWozniak on 2007-09-08 11:25:42 as ** along with 2 people bunge wspeng
  • Tool support for planning the restructuring of data abstractions in large systems
    Software Engineering, IEEE Transactions on, Vol. 24, No. 7. (1998), pp. 534-558.
    by WG Griswold, MI Chen, RW Bowdidge, JL Cabaniss, VB Nguyen, JD Morgenthaler
    posted to data design dynamic restructure by GeoffWozniak on 2007-09-07 23:28:59 as **
  • Tracking structural evolution using origin analysis
    (2002), pp. 117-119.
    by Michael Godfrey, Qiang Tu
    posted to evolution program software by GeoffWozniak on 2007-09-04 20:25:43 as **
  • Automated support for encapsulating abstract data types
    (1994), pp. 97-110.
    by Robert W Bowdidge, William G Griswold
    posted to restructure software tool visualization by GeoffWozniak on 2007-08-28 17:01:50 as **
  • Self-tuning histograms: building histograms without looking at data
    (1999), pp. 181-192.
    by Ashraf Aboulnaga, Surajit Chaudhuri
    posted to adaptation analysis by GeoffWozniak on 2007-08-28 16:57:36 as ** along with 1 person neilc
  • Dynamic restructuring in an experimental operating system
    (1978), pp. 295-304.
    by Hannes Goullon, Rainer Isle, Klaus-Peter Löhr
    posted to dynamic pluggable restructure system by GeoffWozniak on 2007-08-28 16:40:08 as **
  • An Online Algorithm To Optimize File Layout In A Dynamic Environment
    by Shahram Ghandeharizadeh, Doug Ierardi, Roger Zimmermann
    posted to data dynamic restructure by GeoffWozniak on 2007-08-28 16:18:56 as **
  • EXPRESS: a data EXtraction, Processing, and Restructuring System
    ACM Trans. Database Syst., Vol. 2, No. 2. (June 1977), pp. 134-174.
    by NC Shu, BC Housel, RW Taylor, SP Ghosh, VY Lum
    posted to data dynamic restructure by GeoffWozniak on 2007-08-28 16:18:14 as **
  • notes Research Summary for Dynamic Detection of Program Invariants
    (1999), pp. 718-719.
    by Michael Ernst
    posted to dynamic invariants program references by GeoffWozniak on 2007-08-13 20:50:18 as read
  • Dynamically discovering program invariants involving collections
    (2000)
    posted to analysis dynamic by GeoffWozniak on 2007-08-13 20:47:28 as ***
  • Lackwit: a program understanding tool based on type inference
    (1997), pp. 338-348.
    by Robert O'Callahan, Daniel Jackson
    posted to analysis data inference program representation by GeoffWozniak on 2007-08-12 21:20:33 as read
  • A technique for integrating simulation and system design
    SIGSIM Simul. Dig., Vol. 11, No. 1. (1979), pp. 163-172.
    by John Sanguinetti
    posted to creation evolution software by GeoffWozniak on 2007-08-12 21:18:35 as **
  • notes Automating software design
    (1973), pp. 62-67.
    by Peter Freeman
    posted to no-tag by GeoffWozniak on 2007-08-12 21:13:12 as read
  • On Failures and Faults
    FME 2003: Formal Methods (2003), pp. 18-39.
    by Brian Randell
    posted to error software by GeoffWozniak on 2007-08-12 21:05:14 as ***
  • System dynamics modelling of software evolution processes for policy investigation: Approach and example
    Journal of Systems and Software, Vol. 59, No. 3. (15 December 2001), pp. 271-281.
    by G Kahen, MM Lehman, JF Ramil, P Wernick
    posted to dynamics evolution program system by GeoffWozniak on 2007-08-12 17:29:30 as **
  • The benefits and costs of DyC's run-time optimizations
    ACM Trans. Program. Lang. Syst., Vol. 22, No. 5. (September 2000), pp. 932-972.
    by Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J Eggers
    posted to compilation dynamic by GeoffWozniak on 2007-08-12 17:28:15 as *** along with 1 person dynamic
  • Precise interprocedural dataflow analysis via graph reachability
    (1995), pp. 49-61.
    by Thomas Reps, Susan Horwitz, Mooly Sagiv
  • notes Support for feedback and change in self-adaptive systems
    (2004), pp. 18-22.
    by Dharini Balasubramaniam, Ron Morrison, Kath Mickan, Graham Kirby, Brian Warboys, Ian Robertson, Bob Snowdon, Mark R Greenwood, Wykeen Seet
  • Using Hindley-Milner type inference to optimise list representation
    SIGPLAN Lisp Pointers, Vol. VII, No. 3. (1994), pp. 162-172.
    by Cordelia V Hall
    posted to data optimization representation by GeoffWozniak on 2007-06-30 19:57:36 as read
  • Dynamic Feedback: An Effective Technique for Adaptive Computing
    (1997), pp. 71-84.
    by Pedro C Diniz, Martin C Rinard
    posted to no-tag by GeoffWozniak on 2007-06-30 19:53:26 as ***
  • Towards Automatic Specialization of Java Programs
    Lecture Notes in Computer Science, Vol. 1628 (1999), pp. 367-??.
    by Ulrik P Schultz, Julia L Lawall, Charles Consel, Gilles Muller
    posted to no-tag by GeoffWozniak on 2007-06-30 19:46:36 as ***
  • ◇温馨提示◇本页的引用地址为: http://www.citeulike.org/user/GeoffWozniak

    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.