Search Results for "kernel virtual machine"

The Ethereum Yellow Paper repository contains the canonical formal specification of the Ethereum protocol, describing its consensus rules, virtual machine (EVM) semantics, transaction formats, and state transition logic. It encodes rigorous mathematics and pseudocode defining how blocks are validated, how world state evolves, gas accounting, account balances, and execution semantics of opcodes. The paper is the authoritative technical reference for clients, protocol architects, and researchers seeking a precise, unambiguous description of Ethereum’s design and expected behavior. ...

a sed like script language for parsing context free languages. the language implements a virtual machine which is appropriate for parsing and transforming context free languages. an implementation in c++ is nearing completion (apr07)

...We set out to develop a single implementation of the basic components of network servers and clients that could be used for all of our protocols. Finagle is a protocol-agnostic, asynchronous Remote Procedure Call (RPC) system for the Java Virtual Machine (JVM) that makes it easy to build robust clients and servers in Java, Scala, or any JVM-hosted language.

Mathematical Assistant on Web is a web interface for Maxima computations, including steps in the solution. The demo site is http://um.mendelu.cz and covers selected problems typical for courses of calculus on technical universities.

Java Classfile assembler/disassembler and low-level interactive editor. Allows viewing and manipulation of Java class data both manually and via scripts. Load in a class file, make changes, and then save the result.

Data exchange is a core part of all cloud systems so it becomes necessarily important to control access to data that are confidential and whose integrity influences the state of the system at any time.It can be proven that the administrator in a IaaS can easily perform some hidden and malicious task on unsuspecting customer machine. This is attributed to the fact that he/she possesses the root privilege to do so and forms an attack. A cold boot attack can easily be lauched amongst other attacks by the privilege user or system administrator.A simple attack scenario could be that a customer pays a virtual machine at Amazon EC2 (Provider) and the systemadmin (Privilidged User) who is, for instance, threatened to be fired, has access to the same virtual machine state, this priviledged user can easily leak customer’s data. ...

An open source client to manage cloud hosting resources at Gandi.Net via the public API. Written in C++ with Qt4. Multi-language and cross-platform. Runs on Linux, MacOS X, and Windows.

XML Processor. A Multi-threaded, Pub/Sub environment for Dynamic programming on an event driven Tickless and Sleeping State Machine with TCP communications, tight flawless memory management, powerful set algebra and a magical database. 100% C++. ezPort.

The Virtual USB Analyzer is a graphical tool for browsing traces of captured USB data. It supports logs generated by Ellisys hardware analyzers and VMware's software analyzer, and Linux's usbmon.

JPML (Java Programming Markup Language) is a proposed programming language for the platform jvm (Java Virtual Machine) based on standard XML (eXtensible Markup Language).

vmdkutil is a utility to manage VMware sparse virtual disk files (.vmdk), creating, cloning, merging, etc.

The OS561 operating system based around FORTH/Java. The OS is to run on a VHDL chip OpenHardware design called the Minon, but could become available for other platforms. The unique point of the design is a revolutionary data compression technology.