注册 | 登录 | FAQ      [?] 

V's 关注列表 [1000+ articles]

当前符合文献 V's 关注标准
  • The software model checker Blast
    International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 5. (6 October 2007), pp. 505-525.
    by Dirk Beyer, Thomas Henzinger, Ranjit Jhala, Rupak Majumdar
    posted to testing program_verification model_checking by zuleger on 2008-08-28 12:11:34 as read along with 2 people msakai shimomura
  • Managing Componentware Development – Software Reuse and the V-Modell Process
    Advanced Information Systems Engineering (1999), pp. 134-148.
    by Dirk Ansorge, Klaus Bergner, Bernd Deifel, Nicolas Hawlitzky, Christoph Maier, Barbara Paech, Andreas Rausch, Marc Sihling, Veronika Thurner, Sascha Vogel
    posted to v-modell source software process open modell by VWM on 2008-08-27 13:25:57 as read
  • IDL Programming Techniques
    by David W Fanning
    posted to programming idl by harish on 2008-08-27 12:24:47 as **
  • A comparison of static analysis and evolutionary testing for the verification of timing constraints
    Vol. 21 (1998), pp. 144-154.
    by Frank Mueller, Joachim Wegener
    posted to testing real-time genetic-algorithm by embersp on 2008-08-27 12:11:44 as **
  • Programming Pearls (2nd Edition)
    (27 September 1999)
    by Jon Bentley
    posted to programming book by newdawn on 2008-08-27 07:42:28 as ** along with 2 people and 1 group moggis2 germoglio Software-Architecture
  • Comparison of data analysis strategies for intent-to-treat analysis in pre-test-post-test designs with substantial dropout rates
    Psychiatry Research, Vol. In Press, Corrected Proof
    by Agus Salim, Andrew Mackinnon, Helen Christensen, Kathleen Griffiths
    posted to software longitudinal attrition by jyuh on 2008-08-27 03:09:48 as **
  • Trace-based Reflexive Testing of OO Programs with T2
    Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 151-160.
    by ISWB Prasetya, TEJ Vos, A Baars
    posted to testing by newdawn on 2008-08-26 09:08:14 as **
  • Entwurfsmuster
    (31 July 2004)
    by Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides
    posted to software-engineering programming diploma-thesis design-patterns basics by offermann on 2008-08-25 08:37:58 as ***** along with 2 people concarde moborg
  • notes Shark
    Journal of Machine Learning Research, Vol. 9 (June 2008), pp. 993-996.
    by Christian Igel, Verena Heidrich-Meisner, Tobias Glasmachers
    posted to software regression cpp classification by mdreid on 2008-08-23 01:57:43 as ** along with 1 group Statistical Machine Learning
  • Scout: a data-parallel programming language for graphics processors
    Parallel Computing, Vol. 33, No. 10-11. (November 2007), pp. 648-662.
    by Patrick Mccormick, Jeff Inman, James Ahrens, Jamaludin Mohd-Yusof, Greg Roth, Sharen Cummins
    posted to scout programming parallel gpu data algorithm by michaelbussmann on 2008-08-21 16:55:34 as **
  • Java: J2SE (Osborne Complete Reference Series)
    (01 January 2005)
    by Herbert Schildt
    posted to programming by skasey on 2008-08-21 16:46:26 as **
  • The ASTOOT approach to testing object-oriented programs
    ACM Trans. Softw. Eng. Methodol., Vol. 3, No. 2. (April 1994), pp. 101-130.
    by Roong-Ko Doong, Phyllis G Frankl
    posted to to_read testing project-planning oo da ai by cyph3r on 2008-08-21 14:59:42 as ****
  • The Texas Teacher Test
    EDUCATIONAL RESEARCHER, Vol. 16, No. 6. (1 August 1987), pp. 22-31.
    by Lorrie A Shepard, Amelia E Kreitzer
    posted to testing minority by sjseiki on 2008-08-21 06:59:00 as **
  • Artificial Intelligence Methods In Software Testing. Edited by Mark Last, Abraham Kandel and Horst Bunke. Published by World Scientific Publishing, Singapore, Series in Machine Perception and Artificial Intelligence, Volume 56, 2004. ISBN: 981-238-854-0. pp. 208
    Software Testing, Verification and Reliability, Vol. 15, No. 2. (2005), pp. 135-136.
    by Robert M Hierons
    posted to testing software project-planning da book-review by cyph3r on 2008-08-20 17:58:43 as **
  • A separation theorem in property testing
    Combinatorica, Vol. 28, No. 3. (1 May 2008), pp. 261-281.
    by Noga Alon, Asaf Shapira
    posted to testing complexity algorithms by AbnerCYH on 2008-08-20 10:45:43 as **
  • Effizient Programmieren mit C# und .NET. Eine Einführung für Programmierer mit Java- oder C++-Erfahrung
    (30 August 2001)
    by Andreas Solymosi, Peter Solymosi
    posted to programming diploma-thesis csharp by offermann on 2008-08-20 08:29:24 as **
  • notes Hermeticity testing of capacitive RF MEMS switches
    Reliability Physics Symposium, 2008. IRPS 2008. IEEE International (2008), pp. 691-692.
    by PJ van der Wel, J Stulemeijer, JA Bielen, FGA Theunis, A den Dekker, MAJ van Gils, RJ Havens
    posted to testing packaging mems hermetic by z3phyr on 2008-08-20 04:13:58 as **
  • Myths, Countermyths, and Truths About Intelligence
    EDUCATIONAL RESEARCHER, Vol. 25, No. 2. (1 March 1996), pp. 11-16.
    by Robert J Sternberg
    posted to testing intelligence education by OUE on 2008-08-19 16:14:42 as ** along with 1 group Undergraduate Education
  • Python for Scientific Computing
    Computing in Science & Engineering, Vol. 9, No. 3. (2007), pp. 10-20.
    by Travis E Oliphant
    posted to python programming cse cise by mhpeters on 2008-08-19 15:04:49 as ** along with 1 person mmeteo
  • geammv.1.4: a versatile program for mixed model analysis of gene expression data
    Animal Genetics, Vol. 39, No. 1. (February 2008), pp. 89-90.
    by Casellas, , Ibanez-Escriche, , Martinez-Giner, , Varona,
    posted to software mixed-model microarray by jyuh on 2008-08-16 16:47:37 as **
  • TimeClust: a clustering tool for gene expression time series.
    Bioinformatics (6 December 2007)
    by Paolo Magni, Fulvia Ferrazzi, Lucia Sacchi, Riccardo Bellazzi
    posted to time software microarray by jyuh on 2008-08-16 02:21:20 as ** along with 3 people cannin ghattem dps
  • BioBayes: A Software Package for Bayesian Inference in Systems Biology
    Bioinformatics (16 July 2008), btn338.
    by Vladislav Vyshemirsky, Mark Girolami
    posted to systems-biology software by jyuh on 2008-08-16 01:52:41 as ** along with 3 people lemke nuin renatomilani
  • Cognitive dimensions of a game scripting tool
    (2007), pp. 97-104.
    by Marty Kauhanen, Robert Biddle
    posted to usability programming games da cd by robertlischke on 2008-08-14 22:48:42 as **
  • GPS 2.0: Prediction of kinase-specific phosphorylation sites in hierarchy.
    Molecular & cellular proteomics : MCP (6 May 2008)
    by Yu Xue, Jian Ren, Xinjiao Gao, Changjiang Jin, Longping Wen, Xuebiao Yao
    posted to software phosphorylation by jyuh on 2008-08-14 16:37:05 as **
  • A concentration-dependent analysis method for high density protein microarrays.
    Journal of proteome research, Vol. 7, No. 5. (May 2008), pp. 2059-2068.
    by O Marina, MA Biernacki, V Brusic, CJ Wu
    posted to software protein-microarray by jyuh on 2008-08-14 15:23:48 as **
  • Protein-ligand docking: Current status and future challenges.
    Proteins (21 July 2006)
    by Sérgio Filipe F Sousa, Pedro Alexandrino A Fernandes, Maria João J Ramos
    posted to software modeling docking by robert on 2008-08-14 10:39:11 as ** along with 8 people and 2 groups qaiser_fatmi boris_aguilar BragilMassoud yongzhao peprovy kazemi sergio_fms carlescorbi group TSRI_MGL
  • GENECODIS: A web-based tool for finding significant concurrent annotations in gene lists
    Genome Biology, Vol. 8 (04 January 2007), R3.
    by Pedro Carmona-Saez, Monica Chagoyen, Francisco Tirado, Jose M Carazo, Alberto Pascual-Montano
    posted to statistics software annotation by yas on 2008-08-14 10:04:37 as ** along with 3 people and 1 group aalibes jfr ealloza BioinfoCIPF
  • Datamonkey: rapid detection of selective pressure on individual sites of codon alignments
    Bioinformatics, Vol. 21, No. 10. (15 May 2005), pp. 2531-2533.
    by Sergei LK Pond, Simon D Frost
    posted to substitution-models software sequence-evolution selection data-mining by rvosa on 2008-08-14 00:43:38 as ** along with 1 person and 1 group BioNica FAB-lab
  • Programming-in-the large versus programming-in-the-small
    (1975), pp. 114-121.
    by Frank Deremer, Hans Kron
    posted to software-engineering software programming levels design by germoglio to the group Software-Architecture on 2008-08-13 15:17:09 as **** along with 1 person and 1 group shilad GroupLens
  • A JML Compiler Based on AspectJ
    Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 541-544.
    by H Rebelo, R Lima, M Cornelio, S Soares
    posted to testing softnet jml aspectj by sjgaller on 2008-08-13 09:33:42 as *****
  • Model-Based Testing of Automotive Systems
    Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 485-493.
    by E Bringmann, A Kramer
    posted to testing softnet case-study by sjgaller on 2008-08-13 09:32:47 as *****
  • Contract-Based Verification for Aspect-Oriented Refactoring
    Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 180-189.
    by N Ubayashi, Jinji Piao, S Shinotsuka, T University
    posted to testing softnet design-by-contract by sjgaller on 2008-08-13 09:30:40 as *****
  • Evaluating Automated Unit Testing in Sulu
    Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 62-71.
    by RP Tan, S Edwards
    posted to unit-testing testing softnet by sjgaller on 2008-08-13 09:26:39 as *****
  • Generation of All-Paths Unit Test with Function Calls
    icst, Vol. 0 (2008), pp. 32-41.
    by Patricia Mouy, Bruno Marre, Nicky Willams, Pascale Le Gall
    posted to testing softnet by sjgaller on 2008-08-13 09:22:14 as ***** along with 1 person cyph3r
  • Efficient Test Data Generation for Variables with Complex Dependencies
    Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 3-11.
    by A Beer, S Mohacsi
    posted to testing test-data-generation softnet by sjgaller on 2008-08-13 09:20:00 as ***** along with 1 person cyph3r
  • A Survey on Testing and Reuse
    (2003)
    by Richard Torkar, Stefan Mankefors
    posted to testing survey reuse project-planning by cyph3r on 2008-08-13 07:56:19 as **
  • Search-based Testing using State-based Fitness
    icstw, Vol. 0 (2008)
    by Raluca Lefticaru, Florentin Ipate
    posted to testing search project-planning da by cyph3r on 2008-08-13 07:55:28 as *
  • A characterization of easily testable induced subgraphs
    (2004), pp. 942-951.
    by Noga Alon, Asaf Shapira
    posted to testing stochastic algorithms by AbnerCYH on 2008-08-13 06:37:32 as **
  • Reducing the Racial Achievement Gap: A Social-Psychological Intervention
    Science, Vol. 313, No. 5791. (1 September 2006), pp. 1307-1310.
    by Geoffrey L Cohen, Julio Garcia, Nancy Apfel, Allison Master
    posted to testing research race psychology achievement by OUE on 2008-08-12 20:27:01 as ** along with 1 group Undergraduate Education
  • BEHAVIOR: The Power of Social Psychological Interventions
    Science, Vol. 313, No. 5791. (1 September 2006), pp. 1251-1252.
    by Timothy D Wilson
    posted to testing success research race achievement by OUE on 2008-08-12 20:25:54 as ** along with 1 group Undergraduate Education
  • Use and misuse of the gene ontology annotations.
    Nature reviews. Genetics (13 May 2008)
    by Seung Yon Rhee, Valerie Wood, Kara Dolinski, Sorin Draghici
    posted to programming ontology methods genome genetics by rvosa on 2008-08-12 07:52:51 as ** along with 20 people and 2 groups bpcusack marck capitall realzhang gjuggler A_Olympia fpattyn cmzmasek djkt renatomilani giovenko tmmurali cabbagesofdoom ptrobajo RamuAnandakrishnan roys carlk mariakmejia aheilbut jyuh FAB-lab logics of knowledge
  • A Java fork/join framework
    (2000), pp. 36-43.
    by Doug Lea
    posted to programming java concurrent by myui on 2008-08-12 02:51:09 as ** along with 1 person germoglio
  • The Ensembl genome database project
    Nucl. Acids Res., Vol. 30, No. 1. (1 January 2002), pp. 38-41.
    by T Hubbard, D Barker, E Birney, G Cameron, Y Chen, L Clark, T Cox, J Cuff, V Curwen, T Down, R Durbin, E Eyras, J Gilbert, M Hammond, L Huminiecki, A Kasprzyk, H Lehvaslaiho, P Lijnzaad, C Melsopp, E Mongin, R Pettett, M Pocock, S Potter, A Rust, E Schmidt, S Searle, G Slater, J Smith, W Spooner, A Stabenau, J Stalker, E Stupka, A Ureta-Vidal, I Vastrik, M Clamp
    posted to software programming genome data-mining databases by rvosa on 2008-08-11 07:15:41 as ** along with 4 people and 1 group CitoJam incovoma kynn raylim FAB-lab
  • ProteoWizard: Open Source Software for Rapid Proteomics Tools Development
    Bioinformatics (7 July 2008), btn323.
    by Darren Kessner, Matt Chambers, Robert Burke, David Agus, Parag Mallick
    posted to software proteomics by jyuh on 2008-08-11 04:35:39 as ** along with 2 people groepl renatomilani
  • Microsoft® Mobile Development Handbook
    (14 June 2007)
    by Andy Wigley, Daniel Moth, Peter Foot
    posted to programming mobile dotnet csharp by harald to the group Catalysts Bookshelf on 2008-08-10 11:01:54 as **
  • Wndchrm - an open source utility for biological image analysis.
    Source code for biology and medicine, Vol. 3 (2008)
    by L Shamir, N Orlov, DM Eckley, T Macura, J Johnston, IG Goldberg
    posted to software imaging by jyuh on 2008-08-10 09:31:22 as **
  • Microarray-based classification and clinical predictors: on combined classifiers and additional predictive value.
    Bioinformatics (Oxford, England), Vol. 24, No. 15. (1 August 2008), pp. 1698-1706.
    by AL Boulesteix, C Porzelius, M Daumer
    posted to software r microarray classification by jyuh on 2008-08-10 09:14:28 as ** along with 1 person GeeSharpMinor
  • Synchronous vs. Asynchronous Modeling of Gene Regulatory Networks.
    Bioinformatics (Oxford, England) (9 July 2008)
    by Abhishek Garg, Alessandro Dicara, Ioannis Xenarios, Luis Mendoza, Giovanni De D Micheli
    posted to software network microarray by jyuh on 2008-08-10 09:14:02 as ** along with 2 people lemke bootsy
  • ZFIQ: a software package for zebrafish biology.
    Bioinformatics (Oxford, England), Vol. 24, No. 3. (1 February 2008), pp. 438-439.
    by T Liu, J Nie, G Li, L Guo, ST Wong
    posted to zebrafish software by jyuh on 2008-08-09 04:02:41 as **
  • ZOOM! Zillions Of Oligos Mapped
    Bioinformatics (6 August 2008), btn416.
    by Hao Lin, Zefeng Zhang, Michael Q Zhang, Bin Ma, Ming Li
    posted to zoom solexa software oligos mapping illumina by Stew on 2008-08-08 13:40:14 as ** along with 1 person Neeperando
    • ◇温馨提示◇本页的引用地址为： http://www.citeulike.org/user/V/watchlist

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