registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

bfrasers library [403 articles]

Neue Artikel in bfrasers library ordered by importance.
  • Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks
    Software Engineering Conference, 2007. ASWEC 2007. 18th Australian (2007), pp. 223-232.
    by J Ngui, P Strooper, L Wildman, M Wojcicki
    posted to deadlock java model_checking static_analysis by bfraser on 2008-02-26 15:55:26 as *****
  • Checking system rules using system-specific, programmer-written compiler extensions
    (2000), pp. 1-1.
    by Dawson Engler, Benjamin Chelf, Andy Chou, Seth Hallem
    posted to no-tag by bfraser on 2007-12-02 04:55:33 as *****
  • Foundations of incremental aspect model-checking
    ACM Trans. Softw. Eng. Methodol., Vol. 16, No. 2. (April 2007)
    by Shriram Krishnamurthi, Kathi Fisler
    posted to aspect model_checking by bfraser on 2007-11-08 20:12:16 as ***** along with 2 people and 1 group leonardo oscar onekin
  • Symbolic model checking using SAT procedures instead of BDDs
    (1999), pp. 317-320.
    by A Biere, A Cimatti, EM Clarke, M Fujita, Y Zhu
    posted to bdd model_checking sat by bfraser on 2007-10-07 02:58:45 as *****
  • Nonmonotonic logic programming
    Knowledge and Data Engineering, IEEE Transactions on, Vol. 11, No. 1. (1999), pp. 143-152.
    by VS Subrahmanian
    posted to lp nonmonotonic by bfraser on 2007-09-20 21:29:40 as *****
  • Open bisimulation for aspects
    (2007), pp. 107-120.
    by Radha Jagadeesan, Corin Pitcher, James Riely
    posted to aosd by bfraser on 2007-09-20 02:26:19 as ***** along with 1 person keigoi
  • Concern modeling in the concern manipulation environment
    (2005), pp. 1-5.
    by William Harrison, Harold Ossher, Stanley Sutton, Peri Tarr
    posted to no-tag by bfraser on 2007-03-07 06:46:44 as *****
  • Efficiently mining crosscutting concerns through random walks
    (2007), pp. 226-238.
    by Charles Zhang, Hans-Arno Jacobsen
    posted to aop aosd concerns graph by bfraser on 2007-02-12 17:17:59 as ***** along with 2 people eabait alphabetagamma
  • Subject-oriented programming: a critique of pure objects
    SIGPLAN Not., Vol. 28, No. 10. (October 1993), pp. 411-428.
    by William Harrison, Harold Ossher
    posted to aop aspect design programming subject by bfraser on 2006-12-01 18:37:38 as *****
  • Reuse-Conducive Development Environments
    Automated Software Engineering, Vol. 12, No. 2. (April 2005), pp. 199-235.
    by Yunwen Ye, Gerhard Fischer
    posted to reuse software by bfraser on 2006-09-21 22:02:09 as ***** along with 1 person kapil1312
  • Bayesian graph edit distance
    Image Analysis and Processing, 1999. Proceedings. International Conference on (1999), pp. 1166-1171.
    by R Myers, RC Wilson, ER Hancock
    posted to bayesian distance edit graph by bfraser on 2006-03-22 21:26:00 as ***** along with 1 person jrw
  • Indexing by latent semantic analysis
    Journal of the American Society for Information Science, Vol. 41, No. 6. (7 January 1999), pp. 391-407.
    by Scott Deerwester, Susan T Dumais, George W Furnas, Thomas K Landauer, Richard Harshman
    posted to ir lsa by bfraser on 2005-11-12 21:19:29 as ***** along with 12 people and 3 groups fer russellbeale mapio ChaTo k12u diegolino_veneziano sdvillal voiklis student_t atbrew fwkroon dgleich InformationRetrieval HCI-Bham ColDyn
  • Latent dirichlet allocation
    J. Mach. Learn. Res., Vol. 3 (2003), pp. 993-1022.
    by David M Blei, Andrew Y Ng, Michael I Jordan
    posted to ir lsa by bfraser on 2005-11-12 00:23:28 as ***** along with 10 people and 1 group yaroslavvb creswick davidr bpacker student_t fwkroon phlow coleslaw cliff ciga vision-ng
  • Reasoning about aspects with common sense
    (2008), pp. 48-59.
    by Klaus Ostermann
    posted to reasoning common_sense aspect by bfraser on 2008-07-22 21:48:23 as ****
  • MetaML and multi-stage programming with explicit annotations
    Theoretical Computer Science, Vol. 248, No. 1-2. (6 October 2000), pp. 211-242.
    by Walid Taha, Tim Sheard
    posted to ml metaml fp by bfraser on 2008-07-14 18:37:37 as ****
  • Model checking mobile processes
    Inf. Comput., Vol. 129, No. 1. (August 1996), pp. 35-51.
    by Mads Dam
    posted to pi-calculus model_checking by bfraser on 2008-06-11 18:33:54 as ****
  • Principled design of the modern Web architecture
    ACM Trans. Inter. Tech., Vol. 2, No. 2. (May 2002), pp. 115-150.
    by Roy T Fielding, Richard N Taylor
    posted to web rest architecture by bfraser on 2008-04-29 00:16:43 as **** along with 8 people and 2 groups yleblevec hamish swrede xml-isy jonathanbp danscott doylem calmazan Software_Architecture Pervasive_Distributed_Systems
  • Reconciling environment integration and software evolution
    ACM Trans. Softw. Eng. Methodol., Vol. 1, No. 3. (July 1992), pp. 229-268.
    by Kevin J Sullivan, David Notkin
    posted to software_evolution software integration engineering by bfraser on 2008-04-28 23:27:15 as ****
  • Classpects: unifying aspect- and object-oriented language design
    (2005), pp. 59-68.
    by Hridesh Rajan, Kevin J Sullivan
    posted to oop aosd by bfraser on 2008-04-25 22:37:45 as **** along with 1 person kklo
  • Design Rules, Vol. 1: The Power of Modularity
    (15 March 2000)
    by Carliss Y Baldwin, Kim B Clark
    posted to modularity design architecture by bfraser on 2008-04-25 22:06:00 as **** along with 6 people and 1 group jago germoglio lgaio hhappel rvasa matsal Software-Architecture
  • AspectC++: an aspect-oriented extension to the C++ programming language
    (2002), pp. 53-60.
    by Olaf Spinczyk, Andreas Gal, Wolfgang Schröder-Preikschat
    posted to aosd c language by bfraser on 2008-04-10 19:19:16 as ****
  • Modular Verification of Open Features Using Three-Valued Model Checking
    Automated Software Engineering, Vol. 12, No. 3. (July 2005), pp. 349-382.
    by Harry Li, Shriram Krishnamurthi, Kathi Fisler
    posted to model_checking modular by bfraser on 2008-03-14 22:48:37 as **** along with 1 person KarlKlose
  • Checking JML specifications using an extensible software model checking framework
    International Journal on Software Tools for Technology Transfer (STTT), Vol. 8, No. 3. (17 June 2006), pp. 280-299.
    by Robby, Robby, Edwin Rodríguez, Matthew Dwyer, John Hatcliff
    posted to bogor java jml model_checking software by bfraser on 2008-03-07 23:45:19 as ****
  • Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software
    CONCUR 2001 — Concurrency Theory (2001), pp. 39-58.
    by John Hatcliff, Matthew Dwyer
    posted to bandera concurrency java model_checking by bfraser on 2008-02-27 13:51:52 as ****
  • Bandera: extracting finite-state models from Java source code
    Software Engineering, 2000. Proceedings of the 2000 International Conference on (2000), pp. 439-448.
    by JC Corbett, MB Dwyer, J Hatcliff, S Laubach, CS Pasareanu, Robby, Hongjun Zheng
    posted to bandera java model model_checking by bfraser on 2008-02-27 13:48:04 as **** along with 1 person sjgaller
  • A method for verifying concurrent Java components based on an analysis of concurrency failures
    Concurrency and Computation: Practice and Experience, Vol. 19, No. 3. (2007), pp. 281-294.
    by Brad Long, Paul Strooper, Luke Wildman
    posted to concurrency java static_analysis by bfraser on 2008-02-26 19:24:55 as ****
  • Applying static analysis to large-scale, multi-threaded Java programs
    Software Engineering Conference, 2001. Proceedings. 2001 Australian (2001), pp. 68-75.
    by C Artho, A Biere
    posted to concurrency java jlint static_analysis by bfraser on 2008-02-26 19:16:55 as **** along with 2 people plaugg martink
  • Types for Safe Locking
    Programming Languages and Systems (1999), pp. 640-640.
    by Cormac Flanagan, Martín Abadi
    posted to deadlock type_theory by bfraser on 2008-02-25 19:21:02 as ****
  • Growing a Language
    Higher Order Symbol. Comput., Vol. 12, No. 3. (October 1999), pp. 221-236.
    by Guy Steele
    posted to language by bfraser on 2007-12-14 18:13:02 as **** along with 8 people and 1 group samth dherman JacquesC hamish ryanc tov calvins danlentz NU-PRL
  • Traits: Composable Units of Behaviour
    ECOOP 2003 -- Object-Oriented Programming (2003), pp. 327-339.
    by Nathanael Schärli, Stéphane Ducasse, Oscar Nierstrasz, Andrew Black
    posted to mixin oop traits by bfraser on 2007-12-14 07:41:19 as ****
  • Distributed operating systems
    ACM Comput. Surv., Vol. 17, No. 4. (December 1985), pp. 419-470.
    by Andrew S Tanenbaum, Robbert Van Renesse
    posted to distributed os survey by bfraser on 2007-12-10 19:49:11 as ****
  • Using Programmer-Written Compiler Extensions to Catch Security Holes
    (2002)
    by Ken Ashcraft, Dawson Engler
    posted to compiler security by bfraser on 2007-12-03 22:59:03 as ****
  • Bugs as deviant behavior: a general approach to inferring errors in systems code
    SIGOPS Oper. Syst. Rev., Vol. 35, No. 5. (December 2001), pp. 57-72.
    by Dawson Engler, David Y Chen, Seth Hallem, Andy Chou, Benjamin Chelf
    posted to bugs by bfraser on 2007-12-03 22:42:25 as **** along with 1 person V
  • Construction of abstract state graphs with PVS
    Computer Aided Verification (1997), pp. 72-83.
    by Susanne Graf, Hassen Saidi
    posted to no-tag by bfraser on 2007-11-23 20:36:02 as ****
  • Aspects for Trace Monitoring
    Formal Approaches to Software Testing and Runtime Verification (2006), pp. 20-39.
    by Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie Hendren, Ondřej Lhoták, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere
    posted to aosd runtime trace_monitoring traces by bfraser on 2007-11-14 20:01:32 as ****
  • Making trace monitors feasible
    (2007), pp. 589-608.
    by Pavel Avgustinov, Julian Tibble, Oege de Moor
    posted to aosd runtime trace_monitoring by bfraser on 2007-11-14 19:33:15 as ****
  • Incremental Compilation-to-SAT Procedures
    Theory and Applications of Satisfiability Testing (2005), pp. 46-58.
    by Marco Benedetti, Sara Bernardini
    posted to incremental sat by bfraser on 2007-10-16 16:48:55 as ****
  • Ordered Binary Decision Diagrams and the Davis-Putnam Procedure
    (1994), pp. 34-49.
    by Tomás E Uribe, Mark E Stickel
    posted to bdd sat by bfraser on 2007-10-16 02:41:08 as ****
  • Resolution versus Search: Two Strategies for SAT
    Journal of Automated Reasoning, Vol. 24, No. 1. (1 February 2000), pp. 225-275.
    by Irina Rish, Rina Dechter
    posted to sat by bfraser on 2007-10-16 00:42:55 as ****
  • A machine program for theorem-proving
    Commun. ACM, Vol. 5, No. 7. (July 1962), pp. 394-397.
    by Martin Davis, George Logemann, Donald Loveland
    posted to dpll sat by bfraser on 2007-10-12 19:40:09 as **** along with 1 person voronov
  • SAT based abstraction-refinement using ILP and machine learning techniques
    (2002)
    by E Clarke, A Gupta, J Kukula, O Strichman
    posted to model_checking sat by bfraser on 2007-10-12 05:14:32 as ****
  • Bounded model checking
    (2003)
    by A Biere, A Cimatti, E Clarke, O Strichman, Y Zhu
    posted to model_checking sat by bfraser on 2007-10-12 05:02:16 as **** along with 2 people and 2 groups sjgaller voronov Context-driven-testers Desgin-by-Contract
  • Kodkod: A Relational Model Finder
    Tools and Algorithms for the Construction and Analysis of Systems (2007), pp. 632-647.
    by Emina Torlak, Daniel Jackson
    posted to alloy model sat by bfraser on 2007-10-03 20:57:43 as ****
  • Runtime Checking for Program Verification Systems
    (March 2007)
    by Karen Zee, Viktor Kuncak, Martin Rinard
    posted to java runtime verification by bfraser on 2007-09-25 18:51:23 as ****
  • Complementary use of runtime validation and model checking
    (2005), pp. 1052-1059.
    by AA Bayazit, S Malik
    posted to model_checking runtime by bfraser on 2007-09-25 18:27:30 as ****
  • A historical perspective on runtime assertion checking in software development
    SIGSOFT Softw. Eng. Notes, Vol. 31, No. 3. (May 2006), pp. 25-37.
    by Lori A Clarke, David S Rosenblum
    posted to assertion runtime verification by bfraser on 2007-09-25 18:01:18 as ****
  • An execution layer for aspect-oriented programming languages
    (2005), pp. 142-152.
    by Michael Haupt, Mira Mezini, Christoph Bockisch, Tom Dinkelaker, Michael Eichberg, Michael Krebs
    posted to aosd vm by bfraser on 2007-09-23 04:30:43 as ****
  • Answer set programming and plan generation
    Journal of Articial Intelligence, Vol. 138 (2002), pp. 39-54.
    by Vladimir Lifschitz
    posted to answer_set by bfraser on 2007-09-23 03:34:50 as ****
  • Constraint Networks
    Vol. 1 (1992)
    by Rina Dechter
    edited by Stuart C Shapiro
    posted to csp by bfraser on 2007-09-12 19:25:58 as ****
  • A Survey of Distributed Garbage Collection Techniques
    (1995), pp. 211-249.
    by David Plainfossé, Marc Shapiro
    posted to distributed garbage_collection survey by bfraser on 2007-09-12 14:13:10 as ****
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/bfraser/order/to_read

    Result page: 1 2 3 4 5 6 7 8 Next RIS BibTeX RSS
    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.