Result 1 to 20 of 364 total
Galois groups of multivariate Tutte polynomials. (English)
J. Algebr. Comb. 36, No. 2, 223-230 (2012).
1
Collaborative verification and testing with explicit assumptions. (English)
Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 132-146 (2012).
2
Scout: a source-to-source transformator for SIMD-optimizations. (English)
Alexander, Michael (ed.) et al., Euro-Par 2011: Parallel processing workshops. CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29‒September 2, 2011. Revised selected papers, Part II. Berlin: Springer (ISBN 978-3-642-29739-7/pbk). Lecture Notes in Computer Science 7156, 137-145 (2012).
3
Comparing verification condition generation with symbolic execution: an experience report. (English)
Joshi, Rajeev (ed.) et al., Verified software: Theories, tools, experiments. 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27704-7/pbk). Lecture Notes in Computer Science 7152, 196-208 (2012).
4
Bayesian inference for gene expression and proteomics. Reprint of the 2006 hardback ed. (English)
Cambridge: Cambridge University Press (ISBN 978-1-107-63698-9/pbk; 978-0-511-28009-2/ebook). xviii, 437~p. \sterling~30.00/pbk (2012).
5
Predator: a verification tool for programs with dynamic linked data structures. (Competition contribution). (English)
Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 545-548 (2012).
6
Automatic inference of access permissions. (English)
Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 202-218 (2012).
7
Verified software: Theories, tools, experiments. 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28‒29, 2012. Proceedings. (English)
Lecture Notes in Computer Science 7152. Berlin: Springer (ISBN 978-3-642-27704-7/pbk). x, 327~p. EUR~57.78 (2012).
8
Discussion of “Sampling schemes for generalized DP random effects models”. (English)
Stat. Methods Appl. 20, No. 3, 299-301 (2011).
9
4. DFN-Forum Kommunikationstechnologien. (German)
Lect. Notes Inform. 187. Bonn: Gesellschaft für Informatik e.V. (GI) (ISBN 978-3-88579-281-9). 151~p. (2011).
10
Tunable static inference for generic universe types. (English)
Mezini, Mira (ed.), ECOOP 2011 ‒ object-oriented programming. 25th European conference, Lancaster, UK, July 25‒29, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22654-0/pbk). Lecture Notes in Computer Science 6813, 333-357 (2011).
11
Percolation Hamiltonians. (English)
Lenz, Daniel (ed.) et al., Random walks, boundaries and spectra. Proceedings of the workshop on boundaries, Graz, Austria, June 29‒July 3, 2009 and the Alp-workshop, Sankt Kathrein, Austria, July 4‒5, 2009. Basel: Birkhäuser (ISBN 978-3-0346-0243-3/hbk; 978-3-0346-0244-0/ebook). Progress in Probability 64, 235-258 (2011).
12
Specification and verification: the spec# experience. (English)
Commun. ACM 54, No. 6, 81-91 (2011).
13
io-port 05915248 Klebanov, Vladimir;
Müller, Peter;
Shankar, Natarajan;
Leavens, Gary T.;
Wüstholz, Valentin;
Alkassar, Eyad;
Arthan, Rob;
Bronish, Derek;
Chapman, Rod;
Cohen, Ernie;
Hillebrand, Mark;
Jacobs, Bart;
Leino, K.Rustan M.;
Monahan, Rosemary;
Piessens, Frank;
Polikarpova, Nadia;
Ridge, Tom;
Smans, Jan;
Tobies, Stephan;
Tuerk, Thomas;
Ulbrich, Mattias;
Weiß, Benjamin
The 1st verified software competition: Experience report. (English)
Butler, Michael (ed.) et al., FM 2011: formal methods. 17th international symposium on formal methods, Limerick, Ireland, June 20‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21436-3/pbk). Lecture Notes in Computer Science 6664, 154-168 (2011).
14
Using debuggers to understand failed verification attempts. (English)
Butler, Michael (ed.) et al., FM 2011: formal methods. 17th international symposium on formal methods, Limerick, Ireland, June 20‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21436-3/pbk). Lecture Notes in Computer Science 6664, 73-87 (2011).
15
Comparing distributional and mirror translation similarities for extracting synonyms. (English)
Butz, Cory (ed.) et al., Advances in artificial intelligence. 24th Canadian conference on artificial intelligence, Canadian AI 2011, St. John’s, Canada, May 25‒27, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21042-6/pbk). Lecture Notes in Computer Science 6657. Lecture Notes in Artificial Intelligence, 323-334 (2011).
16
Ibisco: A molecular dynamics simulation package for coarse-grained simulation. (English)
J. Comput. Chem. 32, No. 7, 1475-1487 (2011).
17
Evaluating temporal graphs built from texts via transitive reduction. (English)
J. Artif. Intell. Res. (JAIR) 40, 375-413 (2011).
18
Discussion of "sampling schemes for generalized DP random effects models" (English)
Statistical Methods and Applications 20, No. 3, 299-301 (2011).
19
Combined motor imagery and SSVEP based BCI control of a 2 dof artificial upper limb (English)
Med. Biol. Engineering and Computing 49, No. 5, 567-577 (2011).
20
Result 1 to 20 of 364 total
Start
Contact
Print
General Help
