CLIP

Results: 2191



#Item
591Virtual machines / Computing / Emulator / Bytecode / Machine code / Instruction set / Interpreter / Terminal emulator / Executable / System software / Software / Programming language implementation

A Generator of Efficient Abstract Machine Implementations and its Application to Emulator Minimization? Jos´e F. Morales1 , Manuel Carro1 , Germ´ an Puebla1 , and 1,2

Add to Reading List

Source URL: www.clip.dia.fi.upm.es

Language: English - Date: 2005-12-13 11:47:51
592Data types / Type theory / Programming language implementation / Procedural programming languages / Computer performance / Pointer / Compiler optimization / Type system / C / Computing / Software engineering / Computer programming

High-Level Languages for Small Devices: A Case Study Manuel Carro Jose´ F. Morales Henk L. Muller

Add to Reading List

Source URL: clip.dia.fi.upm.es

Language: English - Date: 2006-10-31 09:05:46
593Flickr / Image hosting / Keyhole Markup Language / Photo sharing / Social information processing / Video hosting / Stock photography / CAPTCHA / Clip art / Photography / World Wide Web / Computing

WEBSITE  ESSENTIALS     Helpsheet  5   May  2014  

Add to Reading List

Source URL: forum.urc.org.uk

Language: English - Date: 2014-11-26 12:04:42
594Virtual machines / Computing / Emulator / Bytecode / Machine code / Instruction set / Interpreter / Terminal emulator / Executable / System software / Software / Programming language implementation

A Generator of Efficient Abstract Machine Implementations and its Application to Emulator Minimization? Jos´e F. Morales1 , Manuel Carro1 , Germ´ an Puebla1 , and 1,2

Add to Reading List

Source URL: clip.dia.fi.upm.es

Language: English - Date: 2005-12-13 11:47:51
595Abstract interpretation / Mathematical logic / Algorithm / Partial evaluation / Programming language / Principles of Programming Languages / Logic programming / Logic / Scientific modelling / Science / Software engineering / Computing

A Generic Framework for the Analysis and Specialization of Logic Programs? Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3

Add to Reading List

Source URL: www.clip.dia.fi.upm.es

Language: English - Date: 2005-12-09 05:06:12
596

Clip Art: “Tags,  Ties,  Toppers” from  Martha  Stewart  Living  |  www.marthastewart.com TO: TO:

Add to Reading List

Source URL: images.marthastewart.com

- Date: 2012-01-31 15:28:27
    597Computing / Formal methods / Logic in computer science / Program analysis / Abstract interpretation / Formal verification / Abstraction / Type system / Type safety / Software engineering / Programming language theory / Type theory

    Abstraction-Carrying Code: a Model for Mobile Code Safety Abstraction-Carrying Code: a Model for Mobile Code Safety

    Add to Reading List

    Source URL: www.clip.dia.fi.upm.es

    Language: English - Date: 2009-07-09 09:15:07
    598Business / Video hosting / Internet search engines / Economy of the United Kingdom / Estate agent / YouTube / Video clip / Real estate broker / Search engine results page / Internet / World Wide Web / Real estate

        Video Distribution Simplified

    Add to Reading List

    Source URL: www.oneload.com

    Language: English - Date: 2014-04-02 18:39:18
    599GfK / Broadcast syndication / Video clip / Publishing / Knowledge / Mass media / Pearson PLC / Economy of the United Kingdom / Financial Times

    We_Live_in_FT_1line_black_r

    Add to Reading List

    Source URL: syndication.ftb2b.wpengine.com

    Language: English - Date: 2014-05-29 11:42:27
    600

    Gedragscode voor Collectieve Beheersorganisaties op het terrein van het Auteursrecht en Naburige rechten Overwegingen Een collectieve beheersorganisatie (CBO) bevordert de totstandkoming, verspreiding en gebruik van door

    Add to Reading List

    Source URL: www.clip.nl

    Language: Dutch - Date: 2011-06-20 07:18:18
      UPDATE