Symbolic - PDFSEARCH.IO - Document Search Engine

Symbolic
Results: 1438

#	Item
761	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software testing Automated theorem proving Concolic testing Software metrics KeY Symbolic execution Code coverage Control flow graph Algorithm Software Computing Formal methods
762	Whither the World: The Political Economy of the Future addresses the challenging questions of long-term future of mankind and global economy. It employs a holistic approach to answer fundamental questions about the cours Add to Reading List Source URL: tiger.edu.pl Language: English - Date: 2014-11-14 04:45:11 Mutual information Boeing Yellowstone Project Vehicle Identification Number Multivariate normal distribution Correlation and dependence Mathematical analysis Probability and statistics Statistics Microsoft Office SYmbolic LinK
763	Brochure Outlets Printed copies of the walk map brochures may be available free of charge from the following centres. Please call to ensure the map you want is currently in stock. Visitor Centres Sydney Visitor Centres Add to Reading List Source URL: www.walkingcoastalsydney.com.au Language: English - Date: 2012-04-30 22:14:41 Mutual information Boeing Yellowstone Project Vehicle Identification Number Multivariate normal distribution Correlation and dependence Mathematical analysis Probability and statistics Statistics Microsoft Office SYmbolic LinK
764	Nonlin. Processes Geophys., 22, 87–108, 2015 www.nonlin-processes-geophys.net[removed]doi:[removed]npg[removed] © Author(s[removed]CC Attribution 3.0 License. Non-Gaussian interaction information: estimation, opt Add to Reading List Source URL: www.nonlin-processes-geophys.net Language: English - Date: 2015-02-03 03:10:13 Mutual information Boeing Yellowstone Project Vehicle Identification Number Multivariate normal distribution Correlation and dependence Mathematical analysis Probability and statistics Statistics Microsoft Office SYmbolic LinK
765	One World Trade Center Reaches Final, Symbolic Height One World Trade Center reached its final symbolic height Friday morning as crews installed the final pieces of its spire. The skyscraper now tops out at 1,776 feet. Add to Reading List Source URL: www.panynj.gov Language: English Structural engineering One World Trade Center NY1 Spire New York City World Trade Center Architecture
766	AEG: Automatic Exploit Generation Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao and David Brumley Carnegie Mellon University, Pittsburgh, PA {thanassis, sangkilc, brentlim, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Software testing Logic in computer science Automated theorem proving Concolic testing Symbolic execution Buffer overflow Predicate transformer semantics Precondition Theoretical computer science Software bugs Mathematics
767	Midnight All Day: Notes on Mitch Cairns’ New Work Matthew Holt 2015 Private Symbolic Language Buildings at night, birds, black and blue, cartoons, parched and restrained brush work, suggestions of anagrams, reversals o Add to Reading List Source URL: www.thecommercialgallery.com Language: English - Date: 2015-02-12 22:02:22 Culture Modern artists Dada Aesthetics Marcel Duchamp Art Painting Modernism Computer chess Visual arts Modern art Art movements
768	Kenneth Burke’s Definition of Man “Definition of Man”, sometimes now referred to as Definition of Human, originated from a summary essay of Kenneth Burke (1897–1993) included in his 1966 work, Language as Symboli Add to Reading List Source URL: www.mesacc.edu Language: English - Date: 2013-08-12 14:34:03 Rhetoric Definition of man Kenneth Burke Language As Symbolic Action Dramatism Human Symbol Perfection Technology Linguistics Zoology Megafauna
769	All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) Edward J. Schwartz, Thanassis Avgerinos, David Brumley Carnegie Mellon University Pittsburgh, PA Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Symbolic execution Symbol Algorithm Computing KeY Dynamical system Applied mathematics Formal methods Computer programming Taint checking
770	All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) Edward J. Schwartz, Thanassis Avgerinos, David Brumley Carnegie Mellon University Pittsburgh, PA Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2012-03-12 11:18:03 Symbolic execution Symbol Algorithm Computing KeY Dynamical system Applied mathematics Formal methods Computer programming Taint checking

UPDATE