Symbolic

Results: 1438



#Item
751Symbolic execution / Software engineering / Programming language implementation / Malware / Algorithm / Assembly language / KeY / Computer program / Software bug / Computing / Formal methods / Abstract interpretation

BitScope: Automatically Dissecting Malicious Binaries David Brumley, Cody Hartwig, Min Gyung Kang, Zhenkai Liang James Newsome, Pongsin Poosankam, Dawn Song, Heng Yin March 18, 2007 Last Modified: May 23, 2007 CMU-CS-07-

Add to Reading List

Source URL: bitblaze.cs.berkeley.edu

Language: English - Date: 2013-03-28 20:19:28
752Regression analysis / Setf / Selection / Fitness / Defun / Statistics / Econometrics / Actuarial science

Symbolic Regression of x2GLOBAL VARIABLES

Add to Reading List

Source URL: www.genetic-programming.com

Language: English - Date: 2006-11-17 21:12:10
753.htaccess / File managers / Webserver directory index / Home directory / File Transfer Protocol / Folder / Find / Symbolic link / File Manager / Computing / Software / System software

Web Developer Guide © 2004 Alabanza Corporation. All rights reserved. The content of this manual is furnished under license and may be used or copied only in accordance with this license. No part of this publication m

Add to Reading List

Source URL: advancederesources.com

Language: English - Date: 2004-11-19 02:08:23
754Functional languages / OCaml / Camlp4 / Caml / Ocsigen / Arbitrary-precision arithmetic / Sage / Maple / Symbolic computation / Software / Computing / Mathematical software

Using Camlp4 for Presenting Dynamic Mathematics on the Web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web An experience report Frédéric Chyz

Add to Reading List

Source URL: ddmf.msr-inria.inria.fr

Language: English - Date: 2011-06-30 10:10:16
755Phonology / Reduplication / Ideophone / Language / Linguistics / Linguistic morphology / Grammar

Expressiveness in mimetic syntax: Quantitative evidence from Japanese and English This paper quantitatively examines the correlation between the syntactic realization and morphological expressiveness of sound-symbolic, m

Add to Reading List

Source URL: www.soas.ac.uk

Language: English - Date: 2015-02-04 09:09:04
756Phonaesthetics / Japanese language / Language / Adverb / Yes and no / Linguistics / Japanese sound symbolism / Onomatopoeia

Title:  The  functions  of  Japanese  sound  symbolic  words  in  different  types  of  texts  and  their  translation   Though  sound  symbolic  words  (onomat

Add to Reading List

Source URL: www.soas.ac.uk

Language: English - Date: 2015-02-04 09:09:04
757Capitalism / Pricing / Marketing / Microeconomics / Price / Valuation / Value / Market / Free price system / Economics / Terminology / Marxist theory

Symbolic meanings of prices: Constructing the value of contemporary art in Amsterdam and New York galleries OLAV VELTHUIS University of Konstanz, Germany Abstract. This article develops a sociological analysis of the pr

Add to Reading List

Source URL: isaacleung.com

Language: English - Date: 2014-02-03 06:12:50
758Predicate transformer semantics / Program logic / KeY / IP / NP / Symbolic execution / PP / Algorithm / Function / Theoretical computer science / Mathematics / Applied mathematics

Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome,

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-05-29 15:38:01
759Computer file / Symbolic link / Data synchronization / Features new to Windows XP / Computing / Computer storage / Shared resource

Tips for Fixing Horizon Workspace Client Sync Errors When working in Horizon Workspace, on occasion you might receive an error message when performing a task on your Horizon Web client, desktop, or mobile device. The fol

Add to Reading List

Source URL: pubs.vmware.com

Language: English
760One World Trade Center / World Trade Center / Willis Tower / Spire / New York City / Structural engineering / Architecture

Crews Permanently Install Spire on Top of One World Trade Center The silver spire topping One World Trade Center on Friday was fully installed on the building’s roof, bringing the structure to its full, symbolic height

Add to Reading List

Source URL: www.panynj.gov

Language: English
UPDATE