registrieren | anmelden | FAQ      [?] 

Tag pcc [24 articles]

Recent papers classified by the tag pcc.
  • Proof-Carrying Code
    (jan 1997), pp. 106-119.
    by George C Necula
    posted to languages pcc types by tautologico on 2005-03-19 00:17:55 as **** along with 1 person amorkan
  • Safe Kernel Extensions Without Run-Time Checking
    (1996), pp. 229-243.
    by George C Necula, Peter Lee
    edited by X Useni
    posted to pcc types by tautologico on 2005-07-12 05:23:52 as **** along with 2 people muli zuleger
  • Foundational Proof-Carrying Code
    (2001)
    by Andrew W Appel
    posted to pcc by tautologico on 2005-07-12 05:20:46 as ** along with 2 people dr_dee bfraser
  • A semantic model of types and machine instructions for proof-carrying code
    (2000), pp. 243-253.
    by Andrew W Appel, Amy P Felty
    posted to pcc by tautologico on 2007-05-02 15:58:22 as ** along with 1 person emiliorp
  • Cytogenetic effects of densely ionising radiation in human lymphocytes: impact of cell cycle delays.
    Cytogenetic and genome research, Vol. 104, No. 1-4. (2004), pp. 216-220.
    by E Nasonova, S Ritter
    posted to c-ion fe-ion pcc by ryonfa on 2008-08-06 14:08:42 as read
  • Chromosome condensation outside of mitosis: mechanisms and new tools.
    Journal of cellular physiology, Vol. 209, No. 2. (November 2006), pp. 297-304.
    by E Gotoh, M Durante
    posted to calyculin pcc review by ryonfa on 2008-06-10 13:41:07 as read
  • The regulation of nitrate and ammonium transport systems in plants.
    J Exp Bot, Vol. 53, No. 370. (April 2002), pp. 855-864.
    by AD Glass, DT Britto, BN Kaiser, JR Kinghorn, HJ Kronzucker, A Kumar, M Okamoto, S Rawat, MY Siddiqi, SE Unkles, JJ Vidmar
    posted to pcc by rogerab on 2007-09-08 00:03:13 as **
  • Proof-Carrying Code
    (January 1997), pp. 106-119.
    by George C Necula
    posted to pcc by rgrig on 2005-12-15 07:56:16 as ** along with 2 people and 1 group emerson brturn SRG_at_UCD
  • Adaptation to high light intensity in Synechococcus sp. strain PCC 7942: regulation of three psbA genes and two forms of the D1 protein.
    J Bacteriol, Vol. 176, No. 4. (February 1994), pp. 959-965.
    by RD Kulkarni, SS Golden
    posted to 7942 high intensity light pcc by llchristensen on 2008-03-24 21:30:21 as **
  • The neural correlates of subjective value during intertemporal choice.
    Nat Neurosci (4 November 2007)
    by Joseph W W Kable, Paul W W Glimcher
    posted to value temporal-discounting striatum reward pcc mpfc fmri decision-making by kndiaye on 2008-11-19 22:44:57 as ** along with 6 people as3171 sschafer brian klouie nelmor sen_cheng
  • Proof-carrying code (abstract): design, implementation and applications
    (2000), pp. 175-177.
    by George C Necula
    posted to pcc by eaubin on 2004-12-11 05:33:12
  • A Review of Policy-Based Resource and Admission Control Functions in Evolving Access and Next Generation Networks
    Journal of Network and Systems Management, Vol. 16, No. 1. (14 March 2008), pp. 14-45.
    by Esteve, Andreas Roos
    posted to pcc by christophegger on 2008-10-06 12:45:26 as ****
  • Proof-Carrying Code
    (January 1997), pp. 106-119.
    by George C Necula
    posted to pcc by bfraser on 2007-06-13 19:47:36 as ** along with 1 person nikotiko
  • Risk-sensitive neurons in macaque posterior cingulate cortex
    Nature Neuroscience, Vol. 8, No. 9. (14 August 2005), pp. 1220-1227.
    by Allison N Mccoy, Michael L Platt
    posted to monkey neurophysiology pcc probability risk by bach on 2008-01-17 02:52:55 as ** along with 3 people and 1 group brian stefanherzog phystor ACS-Basel
  • Separate neural systems value immediate and delayed monetary rewards.
    Science, Vol. 306, No. 5695. (15 October 2004), pp. 503-507.
    by SM McClure, DI Laibson, G Loewenstein, JD Cohen
    posted to temporal_discount striatum pfc pcc parietal_cortex ofc fmri discounting by as3171 on 2008-10-22 17:07:42 as ** along with 6 people and 1 group sschafer klouie tschenk ynagar andrea_maurizio kericson Glimcher_Lab
  • Posterior cingulate cortex activation by emotional words: fMRI evidence from a valence decision task
    Human Brain Mapping, Vol. 18, No. 1. (2003), pp. 30-41.
    by Richard J Maddock, Amy S Garrett, Michael H Buonocore
    posted to fmri memory pcc by anna1313 on 2008-03-19 14:34:20 as **
  • Recollection and Familiarity in Recognition Memory: An Event-Related Functional Magnetic Resonance Imaging Study
    J. Neurosci., Vol. 19, No. 10. (15 May 1999), pp. 3962-3972.
    by RN A Henson, MD Rugg, T Shallice, O Josephs, RJ Dolan
    posted to memory mtl pcc prefrontal by anna1313 on 2008-07-24 12:47:48 as **
  • The Design and Implementation of a Certifying Compiler
    (1998), pp. 333-344.
    by GC Necula, P Lee
    posted to pcc by amorkan on 2006-03-28 16:45:26 as **
  • Safe Kernel Extensions Without Run-Time Checking
    (1996), pp. 229-243.
    by George C Necula, Peter Lee
    edited by X Useni
    posted to pcc by amorkan on 2006-03-28 16:42:48 as ** along with 2 people pedagand Neeperando
  • Research on Proof-Carrying Code on Mobile-Code Security
    (1997)
    by G Necula, P Lee
    posted to pcc by amorkan on 2006-03-28 16:42:10 as **
  • A certifying compiler for Java
    ACM SIG\-PLAN Notices, Vol. 35, No. 5. (2000), pp. 95-107.
    by Christopher Colby, Peter Lee, George C Necula, Fred Blau, Mark Plesko, Kenneth Cline
    posted to pcc by amorkan on 2006-07-28 11:32:26 as **
  • Efficient Representation and Validation of Proofs
    (1998), pp. 93-104.
    by George C Necula, Peter Lee
    posted to pcc by amorkan on 2006-03-28 16:46:04 as **
  • Safe, Untrusted Agents Using Proof-Carrying Code
    Lecture Notes in Computer Science, Vol. 1419 (1998), pp. 61-??.
    by George C Necula, Peter Lee
    posted to pcc by amorkan on 2006-03-28 16:46:45 as **
  • Research on Proof-Carrying Code for Untrusted-Code Security
    pp. 204-204.
    by G Necula, P Lee
    posted to pcc by amorkan on 2006-03-28 16:41:24 as **
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/pcc

    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.