Symbolic execution is a popular technique for automatically generating test cases achieving high structural coverage. Symbolic execution suffers from scalability issues since the number of symbolic paths that need to ...
详细信息
Workflow Engine is the core component of Workflow Management System. According to the standards of Workflow Management Coalition, this paper uses Petri net as the principle model, divides the Engine system into five f...
详细信息
Mnemonics is a Scala library for generating method bodies in JVM bytecode at run time. Mnemonics supports a large subset of the JVM instructions, for which the static typing of the generator guarantees the well-formed...
详细信息
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are divided into isolated, privilege-separate...
详细信息
Extended Static Checking (ESC) is a fully automated formal verification technique. Verification in ESC is achieved by translating programs and their specifications into verification conditions (VCs). Proof of a VC est...
详细信息
There are several ways to optimize the java application performance. Performance of application includes application responsiveness, Transactions-per-Second (TPS) and resource utilization. This paper demonstrates vari...
详细信息
In this paper, we focus on the simulation element of a hybrid client-server and authority-driven peer-to-peer MMOG framework currently in development, created in java and utilising the ns-3 network simulator through a...
详细信息
The language used to describe System LSI is critical in a co-design methodology because it is used for both the hardware-software design process and for functional validation. java is an object-oriented, general-purpo...
详细信息
ISBN:
(纸本)9780889868694
The language used to describe System LSI is critical in a co-design methodology because it is used for both the hardware-software design process and for functional validation. java is an object-oriented, general-purpose, concurrent, platform-independent programminglanguage and is often used in the field of embedded system design for applications such as mobile phones. In this paper we describe Jackal, an extension of the javalanguage for hardware design and propose an object-oriented system LSI design (OOLD) methodology based on Jackal which includes circuit synthesis and optimization for inheritance. This methodology is applied to the design of a Reed-Solomon decoder, the Discrete Cosine Transform (DCT) and the NQueen problem, and its performance evaluated.
GUI frameworks, like Swing, are typically not thread-safe. Desktop applications are thus often written in a purely single-threaded, event-based style. Introducing threads into such applications is not an easy task as ...
详细信息
This paper is a research on functional interpretation of object-oriented programs in the intensional type theory with dependent record types and coercive subtyping. We are here simulating a type-theoretic model of Jav...
详细信息
暂无评论