Search Results - "Machine Code" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Vyzkoušejte nový nástroj s podporou AI Summon Research Assistant BETA

Cover Image

Psycholinguistics of AI, Psycholinguistics versus Machine code

by Coulardeau, Jacques
Published in Signo (03.01.2022)

Get full text

Journal Article

Cover Image

The Method and Software Tool for Identification of the Machine Code Architecture in Cyberphysical Devices

by Kotenko, Igor, Izrailov, Konstantin, Buinevich, Mikhail
Published in Journal of sensor and actuator networks (01.01.2023)

Get full text

Journal Article

Cover Image

The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it)

by Davis, Jared, Myreen, Magnus O.
Published in Journal of automated reasoning (01.08.2015)

Get full text

Journal Article

Cover Image

Methodology for Machine Code Reverse Engineering. Part 1. Preparation of the Research Object

Published in Proceedings of Telecommunication Universities

Get full text

Journal Article

Cover Image

Genetic Decompilation Concept of the Telecommunication Devices Machine Code

Published in Proceedings of Telecommunication Universities

Get full text

Journal Article

Cover Image

Machine code builder derived power consumption reduction

by SANDON PETER A, COOK THOMAS E, KIM SUHWAN, KOSONOCKY STEPHEN V, GOVETT IAN R
Year of Publication 27.02.2007

Get full text

Patent

Cover Image

Methods, systems, and computer readable media for detecting injected machine code

Year of Publication 05.04.2016

Get full text

Patent

Cover Image

Methods, systems, and computer readable media for detecting injected machine code

by MONROSE FABIAN, SNOW KEVIN, KRISHNAN SRINIVAS
Year of Publication 05.04.2016

Get full text

Patent

Cover Image

Machine Code Builder Derived Power Consumption Reduction

by SANDON PETER A, COOK THOMAS E, KIM SUHWAN, KOSONOCKY STEPHEN V, GOVETT IAN R
Year of Publication 26.08.2004

Get full text

Patent

Cover Image

METHODS, SYSTEMS, AND COMPUTER READABLE MEDIA FOR DETECTING INJECTED MACHINE CODE

by MONROSE FABIAN, SNOW KEVIN, KRISHNAN SRINIVAS
Year of Publication 26.06.2014

Get full text

Patent

Cover Image

METHODS, SYSTEMS, AND COMPUTER READABLE MEDIA FOR DETECTING INJECTED MACHINE CODE

by KRISHNAN, SRINIVAS, SNOW, KEVIN, MONROSE, FABIAN
Year of Publication 21.03.2013

Get full text

Patent

Cover Image

METHODS, SYSTEMS, AND COMPUTER READABLE MEDIA FOR DETECTING INJECTED MACHINE CODE

by KRISHNAN, SRINIVAS, SNOW, KEVIN, MONROSE, FABIAN
Year of Publication 15.11.2012

Get full text

Patent

Cover Image

METHODS, SYSTEMS, AND COMPUTER READABLE MEDIA FOR DETECTING INJECTED MACHINE CODE

Year of Publication 07.05.2012

Get full text

Patent

Cover Image

FACILITY CONTROL METHOD OF REMOTE SUPERVISORY CONTROL APPARATUS USING MACHINE CODE GENERATION, AND THE REMOTE SUPERVISORY CONTROL APPARATUS

by KIM, BYUNG KI
Year of Publication 07.05.2013

Get full text

Patent

Cover Image

METHOD FOR REDUCING POWER CONSUMPTION DERIVED FROM MACHINE CODE BUILDER ON MICROPROCESSOR AND MACHINE CODE BUILDER

by SANDON PETER A, COOK THOMAS E, KIM SU HWAN, KOSONOCKY STEPHEN V, GOVETT IAN R
Year of Publication 31.08.2004

Get full text

Patent

Cover Image

FACILITY CONTROL METHOD OF REMOTE SUPERVISORY CONTROL APPARATUS USING MACHINE CODE GENERATION, AND THE REMOTE SUPERVISORY CONTROL APPARATUS

Year of Publication 27.11.2013

Get full text

Patent

Cover Image

MACHINE CODE BUILDER DERIVED POWER CONSUMPTION REDUCTION

Year of Publication 22.05.2006

Get full text

Patent

Cover Image

Engineering a Formal, Executable x86 ISA Simulator for Software Verification

by Goel, Shilpi, Hunt, Warren A., Kaufmann, Matt
Published in Provably Correct Systems (2017)

Get full text

Book Chapter

Cover Image

Playfulness and the Advent of Computerization in Spain: The National Club of ZX81 Users

by Meda-Calvet, Ignasi
Published in History and Philosophy of Computing (2016)

Get full text

Book Chapter

Cover Image

Effects of Low-Level Development on Learning to Program

by Gallego-Durán, Francisco J., Villagrá-Arnedo, Carlos J., Satorre-Cuerda, Rosana, Compañ-Rosique, Patricia, Llorens-Largo, Faraón
Published in Learning and Collaboration Technologies. Learning and Teaching (2018)

Get full text

Book Chapter