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

mercutio's library [268 articles]

最近录入 mercutio's 文献库.
  • notes Fault-scalable Byzantine fault-tolerant services
    (2005), pp. 59-74.
    by Michael Abd-El-Malek, Gregory R Ganger, Garth R Goodson, Michael K Reiter, Jay J Wylie
    posted to distributed algorithms by mercutio on 2007-01-15 01:04:45 as read
  • Implementing fault-tolerant services using the state machine approach: a tutorial
    ACM Comput. Surv., Vol. 22, No. 4. (December 1990), pp. 299-319.
    by Fred B Schneider
    posted to replication distributed by mercutio on 2007-01-15 01:02:17 as read along with 4 people embersp kistijantoro ljcamargos kazuya
  • notes Practical byzantine fault tolerance and proactive recovery
    ACM Trans. Comput. Syst., Vol. 20, No. 4. (November 2002), pp. 398-461.
    by Miguel Castro, Barbara Liskov
    posted to distributed algorithms by mercutio on 2007-01-15 00:59:46 as read along with 5 people jwong jpmartin ljcamargos anirudhvr wtribbey
  • Axioms for concurrent objects
    (1987), pp. 13-26.
    by MP Herlihy, JM Wing
    posted to distributed by mercutio on 2007-01-15 00:57:29 as read along with 1 person myui
  • An optimal algorithm for mutual exclusion in computer networks
    Commun. ACM, Vol. 24, No. 1. (January 1981), pp. 9-17.
    by Glenn Ricart, Ashok K Agrawala
    posted to exclusion distributed by mercutio on 2007-01-15 00:55:17 as read
  • A sqrt(N) algorithm for mutual exclusion in decentralized systems
    ACM Trans. Comput. Syst., Vol. 3, No. 2. (May 1985), pp. 145-159.
    by Mamoru Maekawa
    posted to exclusion distributed by mercutio on 2007-01-15 00:52:37 as read
  • Distributed snapshots: determining global states of distributed systems
    ACM Trans. Comput. Syst., Vol. 3, No. 1. (February 1985), pp. 63-75.
    by Mani M Chandy, Leslie Lamport
    posted to distributed by mercutio on 2007-01-15 00:49:12 as read along with 6 people aliku elsantosneto nigini fdr saintedlama kazuya
  • Virtual Time and Global States of Distributed Systems
    by Friedemann Mattern
    posted to time distributed by mercutio on 2007-01-15 00:46:56 as read along with 4 people fmc saintedlama JonKale MatsKindahl
  • Time, clocks, and the ordering of events in a distributed system
    Commun. ACM, Vol. 21, No. 7. (July 1978), pp. 558-565.
    by Leslie Lamport
    posted to time distributed by mercutio on 2007-01-15 00:44:36 as read along with 24 people and 5 groups muli egh A_Olympia ejones EasonCheng balicea farrellee pilho mstone muraken rblake ljcamargos fmc abetaha bendiken rlai jfischer JuliusDegesys john_ardelius saintedlama mahendra_kutare agupta0318 HenryR NSumner Philosophy_of_Information Blog_and_Wiki_Research uiuc-cs MITCCI The Atlas Room
  • Impossibility of distributed consensus with one faulty process
    J. ACM, Vol. 32, No. 2. (April 1985), pp. 374-382.
    by Michael J Fischer, Nancy A Lynch, Michael S Paterson
    posted to distributed by mercutio on 2007-01-15 00:39:39 as read along with 10 people and 3 groups kistijantoro elsantosneto nigini ejones tea4two pverstra thiagomanel ljcamargos HenryR adriancolesa uwmesh ARTI macc
  • The Byzantine Generals Problem
    ACM Trans. Program. Lang. Syst., Vol. 4, No. 3. (July 1982), pp. 382-401.
    by Leslie Lamport, Robert Shostak, Marshall Pease
    posted to distributed byzantine by mercutio on 2007-01-15 00:36:06 as read along with 12 people egh e_anil kistijantoro pdlug jpmartin asilva EasonCheng epaulson henningpeters ljcamargos thehajime admash
  • Efficient solutions to the replicated log and dictionary problems
    (1984), pp. 233-242.
    by Gene TJ Wuu, Arthur J Bernstein
    posted to time distributed by mercutio on 2007-01-15 00:30:23 as read
  • LOMAC: Low Water-Mark integrity protection for COTS environments
    Security and Privacy, 2000. S&P 2000. Proceedings. 2000 IEEE Symposium on (2000), pp. 230-245.
    by T Fraser
    posted to access_control by mercutio on 2006-08-18 23:31:53 as read
  • notes Extracting File Formats from Executables
    (2006)
    by Junghee Lim, Thomas Reps, Ben Liblit
    posted to binary static_analysis by mercutio on 2006-08-18 19:49:26 as read
  • notes Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software
    (2005)
    by James Newsome, Dawn Song
    posted to binary dynamic signature by mercutio on 2006-08-18 18:31:49 as read along with 2 people ralucam roylee
  • Simple On-the-fly Automatic Verification of Linear Temporal Logic
    (1995), pp. 3-18.
    by Rob Gerth, Doron Peled, Moshe Y Vardi, Pierre Wolper
    posted to model_checking by mercutio on 2006-08-15 01:45:39 as *** along with 1 person bfraser
  • Memory-Efficient Algorithms for the Verification of Temporal Properties
    Formal Methods in System Design, Vol. 1, No. 2/3. (1992), pp. 275-288.
    by Constantin Courcoubetis, Moshe Y Vardi, Pierre Wolper, Mihalis Yannakakis
    posted to model_checking by mercutio on 2006-08-15 01:40:04 as **
  • Finding bugs with a constraint solver
    (2000), pp. 14-25.
    by Daniel Jackson, Mandana Vaziri
    posted to static_analysis testing by mercutio on 2006-08-15 01:38:55 as *** along with 1 person plaugg
  • Symbolic Model Checking: $10^20$ States and Beyond
    (1990), pp. 1-33.
    by J Burch, E Clarke, K Mcmillan, D Dill, L Hwang
    posted to model_checking by mercutio on 2006-08-15 01:37:59 as ** along with 3 people Benet johannsen mccrimson
  • Software verification with Blast
    (2003)
    by T Henzinger, R Jhala, R Majumdar, G Sutre
    posted to model_checking verification by mercutio on 2006-08-15 01:37:06 as *** along with 1 person bfraser
  • A static analyzer for finding dynamic programming errors
    Software: Practice and Experience, Vol. 30, No. 7. (2 May 2000), pp. 775-802.
    by William R Bush, Jonathan D Pincus, David J Sielaff
    posted to static_analysis by mercutio on 2006-08-15 01:35:56 as *** along with 3 people martink linekin NSumner
  • Using programmer-written compiler extensions to catch security holes
    (May 2002)
    by K Ashcraft, D Engler
    posted to security static_analysis by mercutio on 2006-08-15 01:32:12 as read along with 3 people plaugg ronnix srccheck
  • Model checking security properties of control flow graphs
    J. Comput. Secur., Vol. 9, No. 3. (January 2001), pp. 217-250.
    by Fr&\#233;d&\#233;ric Besson, Thomas Jensen, Daniel Le M&\#233;tayer, Tommy Thorn
    posted to security by mercutio on 2006-08-15 01:31:09 as ***
  • notes Automatically validating temporal safety properties of interfaces
    (2001), pp. 103-122.
    by Thomas Ball, Sriram K Rajamani
    posted to model_checking testing by mercutio on 2006-08-15 01:29:46 as read along with 2 people bfraser matis
  • Semantics-Aware Malware Detection
    (2005), pp. 32-46.
    by Mihai Christodorescu, Somesh Jha, Sanjit A Seshia, Dawn Song, Randal E Bryant
    posted to binary malware security by mercutio on 2006-08-15 01:26:50 as read along with 1 person and 1 group rdyer Laboratory for Software Design
  • Polygraph: Automatically Generating Signatures for Polymorphic Worms
    (2005), pp. 226-241.
    by James Newsome, Brad Karp, Dawn Song
    posted to binary security signature worm by mercutio on 2006-08-15 01:23:47 as read
  • Call graph construction in object-oriented languages
    Vol. 32, No. 10. (October 1997), pp. 108-124.
    by David Grove, Greg Defouw, Jeffrey Dean, Craig Chambers
    posted to static_analysis by mercutio on 2006-08-15 01:13:19 as *** along with 2 people plaugg kklo
  • Static Determination of Dynamic Properties of Programs
    (April 1976), pp. 106-130.
    by P Cousot, R Cousot
    posted to static_analysis by mercutio on 2006-08-15 01:11:15 as ****
  • Abstract interpretation: a semantics-based tool for program analysis
    (1995), pp. 527-636.
    by Neil D Jones, Flemming Nielson
    posted to static_analysis by mercutio on 2006-08-15 01:05:08 as **** along with 1 person bunge
  • The Automatic Generation of Test Data
    The Computer Journal, Vol. 30, No. 1. (1987), pp. 63-69.
    by DC Ince
    posted to security testing by mercutio on 2006-08-15 00:58:05 as read
  • Do Investors Trade Too Much?
    American Economic Review, Vol. 89, No. 5. (December 1999), pp. 1279-1298.
    by T Odean
    posted to econ by mercutio on 2006-05-07 10:16:44 as read
  • Is the Market Mad? Evidence from Mad Money
    (March 2006)
    by J Engelberg, C Sasseville, J Williams
    posted to econ by mercutio on 2006-05-07 10:02:24 as read
  • Who Loses from Trade? Evidence from Taiwan
    (January 2005)
    by Brad M Barber, YT Lee, YJ Liu, T Odean
    posted to econ by mercutio on 2006-05-07 10:00:04 as read
  • notes A Note on Distributed Computing
    (November 1994)
    by Jim Waldo, Geoff Wyant, Ann Wollrath, Sam Kendall
    posted to programming_languages by mercutio on 2006-05-07 01:22:55 as read
  • Evaluating Static Analysis Tools for Detecting Buffer Overflows in C Code
    (2005)
    by K Kratkiewicz
    posted to method security static_analysis by mercutio on 2006-04-25 20:12:36 as **** along with 1 person criswell
  • Securing software : an evaluation of static source code analyzers
    (2003)
    by Misha Zitser
    posted to method security static_analysis by mercutio on 2006-04-25 20:08:40 as **** along with 1 person plaugg
  • Should computer scientists experiment more?
    Computer, Vol. 31, No. 5. (1998), pp. 32-40.
    by WF Tichy
    posted to method by mercutio on 2006-04-25 20:04:44 as **** along with 2 people elsantosneto jwong
  • Using benchmarking to advance research: A challenge to software engineering
    (2003)
    by S Sim, S Easterbrook, R Holt
    posted to method by mercutio on 2006-04-25 20:01:57 as ****
  • Service-Oriented Computing: Introduction
    Commun. ACM, Vol. 46, No. 10. (October 2003), pp. 24-28.
    by MP Papazoglou, D Georgakopoulos
    posted to web_services by mercutio on 2006-04-12 03:34:57 as * along with 3 people swwsman zemeigo argo
  • Analyzing Memory Accesses in Obfuscated x86 Executables
    (2005)
    by Michael Venable, Mohamed R Chouchane, Md E Karim, Arun Lakhotia
    posted to binary security static_analysis by mercutio on 2006-03-30 22:49:51 as read
  • Shape Analysis
    (2000), pp. 1-17.
    by Reinhard Wilhelm, Shmuel Sagiv, Thomas Reps
    posted to static_analysis by mercutio on 2006-03-30 22:45:08 as read along with 2 people plaugg bunge
  • Interprocedural slicing using dependence graphs
    Vol. 23, No. 7. (July 1988), pp. 35-46.
    by S Horwitz, T Reps, D Binkley
    posted to static_analysis by mercutio on 2006-03-30 22:43:10 as *** along with 2 people dfisher scavadini
  • WYSINWYX: What You See Is Not What You eXecute
    (2005)
    by G Balakrishnan, T Reps, D Melski, T Teitelbaum
    posted to binary static_analysis by mercutio on 2006-03-30 22:41:12 as read along with 1 person plaugg
  • Recovery of Variables and Heap Structure in x86 Executables
    (September 2005)
    by Gogul Balakrishnan, Thomas Reps
    posted to binary static_analysis by mercutio on 2006-03-30 22:36:38 as read
  • Pointer Analysis: Haven't We Solved This Problem Yet?
    (2001)
    by Michael Hind
    posted to static_analysis by mercutio on 2006-03-30 22:33:12 as read along with 5 people and 3 groups dherman plaugg jolilius josefs lmorel NU-PRL TUCS-ES_Lab TUCS-KITARA_project
  • Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers
    (1994), pp. 242-256.
    by Maryam Emami, Rakesh Ghiya, Laurie J Hendren
    posted to static_analysis by mercutio on 2006-03-30 22:29:31 as ** along with 3 people plaugg criswell bunge
  • Practical and Accurate Low-Level Pointer Analysis
    by Bolei Guo, Matthew Bridges, Spyridon Triantafyllis, Guilherme Ottoni, Easwaran Raman, David I August
    posted to static_analysis by mercutio on 2006-03-30 22:27:06 as read
  • Intermediate-representation recovery from low-level code
    (2006), pp. 100-111.
    by Thomas Reps, Gogul Balakrishnan, Junghee Lim
    posted to binary by mercutio on 2006-03-30 22:25:17 as ** along with 3 people keigoi ianwelch j_k
  • Static detection of malicious code in executable programs
    Int. J. of Req. Eng. (2001)
    by J Bergeron, M Debbabi, J Desharnais, MM Erhioui, Y Lavoie, N Tawbi
    posted to binary security by mercutio on 2006-03-30 22:22:16 as read
  • Recovery of jump table case statements from binary code
    Science of Computer Programming, Vol. 40, No. 2--3. (2001), pp. 171-188.
    by Cristina Cifuentes, Mike Van Emmerik
    posted to binary by mercutio on 2006-03-30 22:17:18 as read along with 1 person flander
    • ◇温馨提示◇本页的引用地址为： http://www.citeulike.org/user/mercutio

    Result page: 1 2 3 4 5 6 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.