Changes between Version 64 and Version 65 of References


Ignore:
Timestamp:
Nov 25, 2013, 5:58:14 PM (6 years ago)
Author:
Nc12
Comment:

/* Published in 2012 */

Legend:

Unmodified
Added
Removed
Modified
  • References

    v64 v65  
    128128
    129129 *  Ganesan, Dharmalingam, Mikael Lindvall, David McComas, Maureen Bartholomew, Steve Slegel, Barbara Medina, Rene Krikhaar, Chris Verhoef, and Lisa P. Montgomery. "An analysis of unit tests of a flight software product line." Science of Computer Programming (2012).
     130
     131 *  Arcas, Oriol, Nehir Sonmez, Satnam Singh, Osman S. Unsal, Adrian Cristal, Ibrahim Hur, and Mateo Valero. "Resource-bounded multicore emulation using Beefarm." Microprocessors and Microsystems 36, no. 8 (2012): 620-631.
     132
     133 *  CTO, Benjamin Gittins, and Ronald Keslon CEO. "Verifying Secure Systems is also Not Reasonable (Today)."
     134
     135 *  Alkazemi, Basem Y. "On verification of software components." arXiv preprint arXiv:1210.3758 (2012). [http://arxiv.org/ftp/arxiv/papers/1210/1210.3758.pdf]
     136
     137 *  Lin, Shiyao, Andy Wellings, and Alan Burns. "Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages." Concurrency and Computation: Practice and Experience (2012).
     138
     139 *  Gómez, M., R. V. González, Tomás Martínez-Marín, Daniel Meziat, and S. Sánchez. "Optimal motion planning by reinforcement learning in autonomous mobile vehicles." Robotica 30, no. 2 (2012): 159-170.
    130140=  Published in 2011  =
    131141