Tag program [at least 200 articles] Export

Recent papers classified by the tag program.

	A Policy Model for Secure Information Flow [My Copy] Foundations and Applications of Security Analysis In Foundations and Applications of Security Analysis, Vol. 5511 (2009), pp. 1-17. by Adedayo O. Adetoye, Atta Badii posted to security program operational information-flow declassification 2009 by michaelbanks on 2009-11-09 17:09:20 as
	Information of the chassis and information of the program in synthetic cells [My Copy] Systems and Synthetic Biology, Vol. 3, No. 1. (1 December 2009), pp. 125-134. by Antoine Danchin posted to systems synthetic program information cells carbohydrate biology by Winzer on 2009-11-06 10:41:06 as
	Recovery and Safety Profiles of Marrow and PBSC Donors: Experience of the National Marrow Donor Program [My Copy] Biology of Blood and Marrow Transplantation, Vol. 14, No. 9. (September 2008), pp. 29-36. by J. Miller posted to transfusion program nmdp national marrow donor blood bank by johnofaurora on 2009-11-04 17:02:28 as
	A unifying approach to the security of distributed and multi-threaded programs [My Copy] Journal of Computer Security, Vol. 11, No. 4. (1 January 2003), pp. 615-676. by Heiko Mantel, Andrei Sabelfeld posted to translation security program maks language information-flow distributed 2003 by michaelbanks on 2009-10-30 14:16:44 as
	IsoStar: A library of information about nonbonded interactions [My Copy] Journal of Computer-Aided Molecular Design, Vol. 11, No. 6. (1 November 1997), pp. 525-537. by Ian J. Bruno, Jason C. Cole, Jos P. M. Lommerse, R. Scott Rowland, Robin Taylor, Marcel L. Verdonk posted to program non-bonded ligand library isostar interaction conformation by dimka on 2009-10-13 17:22:43 as
	Methods for Studying Innovation Development in the Minnesota Innovation Research Program [My Copy] ORGANIZATION SCIENCE, Vol. 1, No. 3. (1 August 1990), pp. 313-335. by Andrew H. Van de Ven, Marshall S. Poole posted to studying research program minnesota methods innovation development by derchao on 2009-10-06 19:00:55 as
	An Experiment in Helping Foster-Carers Manage Challenging Behaviour [My Copy] Br J Soc Work, Vol. 35, No. 8. (15 August 2005), pp. bch204-1282. by Geraldine Macdonald, William Turner posted to support program developing by parrett on 2009-10-01 14:00:24 as
	HOLE: a program for the analysis of the pore dimensions of ion channel structural models. [My Copy] Journal of molecular graphics, Vol. 14, No. 6. (December 1996) by O. S. Smart, J. G. Neduvelil, X. Wang, B. A. Wallace, M. S. Sansom posted to program pore_dimensions pore hole by dimka on 2009-09-25 20:11:38 as along with 2 people and 3 groups oteri jwm Structural Biology Group TorVergata Radiation_Damage Stressosome
	VMD: Visual molecular dynamics [My Copy] Journal of Molecular Graphics, Vol. 14, No. 1. (February 1996), pp. 33-38. by W. Humphrey posted to visualization program molecular by csrocha on 2009-09-23 04:19:38 as along with 6 people and 1 group whitead r2s2 pavanghatty choonpeng RamuAnandakrishnan tji Jiang Research Group
	The Amber biomolecular simulation programs. [My Copy] Journal of computational chemistry, Vol. 26, No. 16. (December 2005), pp. 1668-1688. by David A. Case, Thomas E. Cheatham, Tom Darden, et al.Holger Gohlke, Ray Luo, Kenneth M. Merz, Alexey Onufriev, Carlos Simmerling, Bing Wang, Robert J. Woods posted to simulation_programs simulation program nucleic_acids molecular_dynamics model_building free_energy_calculations energy_refinement dynamic current_features computational_chemistry biomolecular_simulation by csrocha on 2009-09-23 03:38:21 as along with 17 people and 3 groups nickolay mmuecke flbarroso charris5 pavanghatty tahereh62 lna jwm ttjoseph xdeupi tovrstra bilab RamuAnandakrishnan IrinaMoreira adilson_mohr mikaellund gisle Radiation_Damage Stressosome LabCompMed
	A method for them embedding of arbitrary communication topologies into configurable parallel computers [My Copy] In SAC '98: Proceedings of the 1998 ACM symposium on Applied Computing (1998), pp. 569-574. by Otto Wohlmuth, Friedrich M. Lindenberg posted to sum program permutations parallel linear graphs embeddings by andreim27 on 2009-09-10 19:40:53 as
	ETACHA: a program for calculating charge states at GANIL energies [My Copy] Nuclear Instruments and Methods in Physics Research Section B: Beam Interactions with Materials and Atoms, Vol. 107, No. 1-4. (02 February 1996), pp. 67-70. by J. Rozet, C. Stephan, D. Vernhet posted to program charge_state by georgwachter on 2009-09-08 14:42:25 as
	The Impact of an Undergraduate Honors Program on Gifted University Students [My Copy] Gifted Child Quarterly, Vol. 51, No. 2. (1 April 2007), pp. 136-151. by Thomas P. Hebert, Matthew T. McBee posted to qualitative program honors gifted by skluus on 2009-09-06 10:21:20 as
	Mathematical programming models of discrete event system dynamics [My Copy] In WSC '00: Proceedings of the 32nd conference on Winter simulation (2000), pp. 381-385. by Lee W. Schruben posted to program phd linear event-graph by fierykylin on 2009-08-29 17:25:51 as
	PCR-Assist CBR for Delivering Pre-Recorded MPEG-2 Transport Streams [My Copy] In Proc. IEEE Multimedia ICMCS ’97 Conf (1996) by David H. C. Du, Jenwei Hsieh, Horng-Juing Lee, Taisheng Chang posted to reference program clock by lbwtgi on 2009-08-19 03:36:00 as
	In defense of program testing or correctness proofs considered harmful [My Copy] SIGPLAN Notices, Vol. 11, No. 5. (1976), pp. 64-68. by Andrew S. Tanenbaum posted to 1976 correctness criticism program proof testing by michaelbanks on 2009-07-28 11:00:27 as
	An Approach To Analyzing and Testing Component-Based Systems [My Copy] (1999) by Mary J. Harrold, Donglin Liang, Saurabh Sinha posted to analysis component control data dependence flow program slicing test by martinrytter on 2009-07-28 10:38:24 as
	Guarded commands, nondeterminacy and formal derivation of programs [My Copy] Commun. ACM, Vol. 18, No. 8. (August 1975), pp. 453-457. by Edsger W. Dijkstra posted to 1975 derivation program by lesandrop on 2009-07-24 02:01:48 as along with 6 people and 1 group robertjohnsimmons michaelbanks leonardo kapilv newdawn bec ConcertRG
	The research program of Austrian economics [My Copy] In Advances in Austrian Economics, Vol. 11 (2008), pp. 11-24. by Lawrence H. White edited by Roger Koppl posted to austrian economics program research by derchao on 2009-07-16 04:55:31 as
	A probabilistic approach to information hiding [My Copy] In Programming Methodology (2003), pp. 441-460. by Annabelle Mciver, Carroll Morgan posted to 2003 information probabilistic program refinement security by michaelbanks on 2009-07-13 14:16:53 as
	Fungible control structures [My Copy] C/C++ Users J., Vol. 18, No. 12. (December 2000), pp. 46-53. by Steve Dewhurst posted to cplusplus data flow interpreter program programming structure technical technique by hgfernan on 2009-07-11 22:18:25 as
	Combining Different Proof Techniques for Verifying Information Flow Security [My Copy] Logic-Based Program Synthesis and Transformation In Logic-Based Program Synthesis and Transformation, Vol. 4407 (2007), pp. 94-110. by Heiko Mantel, Henning Sudbrock, Tina Kraußer posted to 2006 composition information-flow program proof security verification by michaelbanks on 2009-07-09 13:00:49 as
	Automated Analysis of Java Methods for Confidentiality [My Copy] Computer Aided Verification In Computer Aided Verification, Vol. 5643 (2009), pp. 173-187. by Pavol Černý, Rajeev Alur posted to 2009 analysis confidentiality java model-checking program security by michaelbanks on 2009-07-08 12:16:20 as
	Amorphous program slicing [My Copy] Journal of Systems and Software, Vol. 68, No. 1. (15 October 2003), pp. 45-64. by M. Harman posted to program slicing by josilga to the group Herramientas20 on 2009-07-07 11:21:49 as along with 2 people srccheck bfraser
	Static Analysis of Programs Using Omega Algebra with Tests [My Copy] Relational Methods in Computer Science (2006), pp. 60-72. by Claude Bolduc, Jules Desharnais posted to algebra kleene omega program verification by cbolduc on 2009-07-04 01:34:22 as
	Ventilation Efficiency and Pulmonary Function After a Wheelchair Interval-Training Program in Subjects With Recent Spinal Cord Injury [My Copy] Archives of Physical Medicine and Rehabilitation, Vol. 86, No. 8. (August 2005), pp. 1582-1586. by D. Folldemoro, N. Tordi, E. Lonsdorfer, J. Lonsdorfer posted to functional_training interval-training middle_ages neurology_physical_therapy physical_therapy program pulmonary_function randomised_controlled_trial rehabilitation spinal_cord_injury ventilation wheelchair by DFellNeuroPT to the group Neurology Physical Therapy on 2009-06-28 22:53:48 as
	The ‘Hoare logic’ of concurrent programs [My Copy] Acta Informatica, Vol. 14, No. 1. (1 June 1980), pp. 21-37. by Leslie Lamport posted to 1980 concurrency hoare-logic program reasoning by michaelbanks on 2009-06-24 11:57:25 as
	A Deconstructive Turn in Chronic Pain Treatment: A Redefined Role for Social Work [My Copy] Health and Social Work (February 2000), pp. 51-58. by J. E. Macdonald posted to behaviour deconstruction pain program social treatment work by kaniko on 2009-06-04 12:48:44 as along with 1 person ultrascichick
	The Program of Gene Transcription for a Single Differentiating Cell Type during Sporulation in Bacillus subtilis [My Copy] PLoS Biol, Vol. 2, No. 10. (21 September 2004), e328. by Patrick Eichenberger, Masaya Fujita, Shane T. Jensen, et al.Erin M. Conlon, David Z. Rudner, Stephanie T. Wang, Caitlin Ferguson, Koki Haga, Tsutomu Sato, Jun S. Liu, Richard Losick posted to bacillus cell differentiating during gene igem in program single sporulation subtilis synthetic transcription type by dswan on 2009-05-29 14:37:57 as
	A Systems Approach to Comprehensive Criminal Justice Planning [My Copy] Crime Delinquency, Vol. 17, No. 4. (1 October 1971), pp. 345-354. by Frederick W. Howlett, Hunter Hurst posted to criminal evaluation justice planning program by grouplady on 2009-05-26 15:48:21 as
	A Developmental Stage Approach To Program Planning and Evaluation [My Copy] Eval Rev, Vol. 13, No. 1. (1 February 1989), pp. 56-77. by Mark S. Pancer, Anne Westhues posted to evaluation plannig planning program systems by grouplady on 2009-05-26 15:24:41 as
	Scenario-driven dynamic analysis for comprehending large software systems [My Copy] Software Maintenance and Reengineering, 2006. CSMR 2006. Proceedings of the 10th European Conference on In Software Maintenance and Reengineering, 2006. CSMR 2006. Proceedings of the 10th European Conference on (2006), pp. 10 pp.-80. by M. Salah, S. Mancoridis, G. Antoniol, M. Di Penta posted to analysis comprehension driven dynamic program scenario by eabait on 2009-05-22 18:51:03 as
	Hilbert's Program Then and Now [My Copy] (29 Aug 2005) by Richard Zach posted to and hilberts now program then by A_Olympia to the group logics of knowledge on 2009-05-18 18:17:27 as
	A Transformation System for Developing Recursive Programs [My Copy] Journal of the ACM, Vol. 24, No. 1. (1977), pp. 44-67. by R. M. Burstall, John Darlington posted to 1977 program recursion refinement transformation by michaelbanks on 2009-05-18 17:59:20 as
	Correctness-preserving program transformations [My Copy] In POPL '75: Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1975), pp. 54-66. by Susan L. Gerhart posted to 1975 program refinement transformation by michaelbanks on 2009-05-18 17:54:20 as along with 1 person mcclurmc
	DL_POLY_2.0: A general-purpose parallel molecular dynamics simulation package [My Copy] Journal of Molecular Graphics, Vol. 14, No. 3. (June 1996), pp. 136-141. by W. Smith posted to basics program by rdf on 2009-05-18 13:03:25 as
	Social Processes and Proofs of Theorems and Programs [My Copy] Communications of the ACM, Vol. 22, No. 5. (May 1979), pp. 271-280. by Richard A. Demillo, Richard J. Lipton, Alan J. Perlis posted to 1979 criticism formal-methods program social-processes theorem-proving verification by michaelbanks on 2009-05-18 11:27:32 as along with 2 people ljcamargos imrchen
	CHARMM: The biomolecular simulation program [My Copy] Journal of Computational Chemistry, Vol. 30, No. 10. (30 July 2009), pp. 1545-1614. by B. R. Brooks, C. L. Brooks, A. D. Mackerell, et al.L. Nilsson, R. J. Petrella, B. Roux, Y. Won, G. Archontis, C. Bartels, S. Boresch, A. Caflisch, L. Caves, Q. Cui, A. R. Dinner, M. Feig, S. Fischer, J. Gao, M. Hodoscek, W. Im, K. Kuczera, T. Lazaridis, J. Ma, V. Ovchinnikov, E. Paci, R. W. Pastor, C. B. Post, J. Z. Pu, M. Schaefer, B. Tidor, R. M. Venable, H. L. Woodcock, X. Wu, W. Yang, D. M. York, M. Karplus posted to charmm md program by dimka on 2009-05-16 20:16:32 as along with 8 people and 1 group rodrigofaccioli mmuecke medic0747 flbarroso jrperillaj xavierprat saravan sobolevnrm baker-group
	The early search for tractable ways of reasoning about programs [My Copy] IEEE Annals of the History of Computing, Vol. 25, No. 2. (2003), pp. 26-49. by Cliff B. Jones posted to 2003 history program proof verification by michaelbanks on 2009-05-11 14:22:22 as along with 1 person leonardo
	The temporal logic of programs [My Copy] Symposium on Foundations of Computer Science In Symposium on Foundations of Computer Science, Vol. 0 (1977), pp. 46-57. by Amir Pnueli posted to 1977 concurrency logic program proof temporal verification by michaelbanks on 2009-05-11 10:41:23 as along with 2 people knowlengr prahlad
	Proving Liveness Properties of Concurrent Programs [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 4, No. 3. (1982), pp. 455-495. by Susan Owicki, Leslie Lamport posted to 1982 concurrency liveness program proof property by michaelbanks on 2009-05-07 17:21:54 as
	Ion-Atom/Argon-Calculation of ionization cross sections by fast ion impact for neutral target atoms ranging from hydrogen to argon [My Copy] Computer Physics Communications, Vol. 155, No. 2. (October 2003), pp. 144-158. by D. Mcsherry posted to argonf90 cdw-eis ionization program by georgwachter on 2009-05-02 10:44:22 as
	Program Construction: Calculating Implementations from Specifications [My Copy] (27 March 2003) by Roland Backhouse posted to 2003 book implementation logic program proof specification textbook by michaelbanks on 2009-04-30 18:14:26 as
	The B-Book: Assigning Programs to Meanings [My Copy] (1996) by Jean-Raymond Abrial posted to 1996 b-method book development program by michaelbanks on 2009-04-24 11:43:30 as along with 1 person juniorpivetta
	Predicate calculus and program semantics [My Copy] (1990) by Edsger W. Dijkstra, Carel S. Scholten posted to 1990 book formal predicate-calculus program semantics by michaelbanks on 2009-04-24 11:07:25 as along with 1 person leonardo
	Defrosting the Digital Library: Bibliographic Tools for the Next Generation Web [My Copy] PLoS Comput Biol, Vol. 4, No. 10. (31 October 2008), e1000204. by Duncan Hull, Steve R. Pettifer, Douglas B. Kell posted to article online paper program by akriesch on 2009-04-23 10:38:04 as along with 193 people and 17 groups ianturton tech4trainers radagabriel mfenner jalonsoarevalo StemCellWorkstation martica840527 agbiotec LinaMelo claudine acabezas aaltenburger sarelfa Anita13 Dannycoutinho tmar lucybuykx ltitodem dcombe christianholz schoeband dgovoni maren antonkratz mzkbnt girabbit mawds tlb56 sstose klexa n00c slr52 jandot applebyb timhubbard yangjustinc CameronNeylon heliopais sarabatts aldra Prlwrlczkwsky CPAP amyfyn vellino ulrichs malkav30 cristiangutierrez rockrescue victorantoniomtz Tita NancyAbigail Nembrod jclau clarabermudez tanyacovi6 jmohan polivares artaban421 nperoni eudominguezmartin nhoussos MARCOUNAM carelcad euanlawson furlong stevepettifer flipip23 virolog ZoeThomas pawelsobko tnhh kbkbk8 rickl nellapower mcentyre wujastyk beanformer msanchof2009 dmaweb bhengeveld jpgrolle wsumthai daforerog INK-SSCI-SCI quianominorleo tux2000 cogs AJCann robsyme anthrogeek lmichan sainsworth hkimura western4uk cybob10 kevinemamy williamgunn carlblesius Effie alhoori mikel_egana tilanka coldmeadow yas Tomste mseyfang fitzgeraldp2 fungal eduardod5 DavidG67 chenlc03 stempvoort lesikv jmueller17 sirexkat Koh akraemer thegoose kharke niallhaslam rdmagnuson JuanGiarrizzo pkonings jennialp lgibson rmasur GJNauta puchu rrbarb amarois mneeley dr_lee_xray IRTADOC zilvlan curthh mount_misery narroyo rdiaz treangen hpaces bumatic BerndBerndsen esterhasz phreeza dbk rempeljl teachingaging cs02 joseph_x_zhou continea Rosetta fletchad Betelgeuse60 tomroper 1971biblio timrwatkins rschulz cisevol ryan smithrise silberbauer natstreet pick600 xjlibod ukppdadsr robertlischke bookwormzz NIlz junwang4 taguchi tag barry kristgy caseybrown Gaetan bcondon lynnefox marekrud nuin sdgsilvana ckai1 guhjy neils norris jago druvus emayorga GeeSharpMinor fgibson chad_davis Zephyrus leonardo dullhunk Zotero en español Journal picks Health_Informatics Herramientas20 Semantic-Social-Networks INK-SSCI-SCI@CiteuLike.org eLearning in Leicester mgh-lcs NaCTeM MEHTRadiology Département Hypermédia - Master NET JLab BergmanLab McCammon Poverty Alleviation from Access to Knowledge structural_bioinformatics Roswell Cancer Crosstalk
	Program Development by Refinement: Case Studies Using the B Method [My Copy] (1999) by Emil Sekerinski, Kaisa Sere posted to 1999 b-method book case-study development program refinement by michaelbanks on 2009-04-22 17:00:23 as
	Towards some Organising Principles for Musical Program Auralisations [My Copy] In in International Conference on Auditory Display (ICAD (1998), pp. 1-4. by Paul Vickers, James L. Alty posted to aesthetics auralization code debugging music program programming by mchinen on 2009-04-16 04:40:38 as
	CAITLIN: A Musical Program Auralisation Tool to Assist Novice Programmers with Debugging [My Copy] In in Proc. Third International Conference on Auditory Display (Palo Alto, Nov 4-6, 1996), Xerox PARC, Palo Alto, CA 94304 (1996), pp. 17-24. by Paul Vickers posted to auralization code debugging flow program programming by mchinen on 2009-04-16 04:40:01 as
	The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code [My Copy] In FLOPS '99: Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming (1999), pp. 300-318. by Atsushi Ohori posted to assembly code curry-howard logic program proof transformation by ddemange on 2009-04-10 14:08:26 as along with 2 people noam_zeilberger jespera

Note: You may cite this page as: http://www.citeulike.org/tag/program

Result page: 1 2 3 4 5 Next

analysis	19
transformation	17
slicing	15
proof	14
java	12
evaluation	11
software	9
verification	9
code	8
data	8
programming	8
security	8
understanding	8
comprehension	7
dependence	7
development	7
dynamic	7
education	7
flow	7
refactoring	7
information	6
inversion	6
language	6
testing	6
design	5
graph	5
logic	5
optimization	5
refinement	5
research	5
static	5
systems	5
visualization	5
2003	4
abstract	4
book	4
compiler	4
evolution	4
object-oriented	4
pdg	4
properties	4
teacher	4
translation	4
1975	3
algebra	3
bioinformatics	3
calculational	3
compilers	3
computer	3
concurrency	3
concurrent	3
cross_section	3
debugging	3
formal	3
inelastic	3
information-flow	3
interpretation	3
measures	3
methods	3
paper1	3
parallel	3
phylogeny	3
planning	3
population-genetics	3
semantics	3
source	3
statistics	3
structure	3
synthesis	3
synthetic	3
theory	3
to	3
visualisation	3
architectures	2
authorization	2
automation	2
biology	2
bytecode	2
carbohydrate	2
cell	2
correctness	2
envgen	2
hilberts	2
library	2
linear	2
management	2
modelchecking	2
monitoring	2
navigation	2
neurology_physical_therapy	2
programs	2
protein	2
protein-structure-analysis	2
query	2
randomised_controlled_trial	2
sequence	2
spinal_cord_injury	2
support	2
tool	2
voronoi	2

Tag program [at least 200 articles] Export

Related Tags