113 search results - page 13 / 23 » Macro Processing in Object-Oriented Languages |
FPGA
1997
ACM
13 years 11 months ago
1997
ACM
Logic emulation is a technique that uses dynamically reprogrammable systems for prototyping and design veri cation. Using an emulator, designers can realize designs through a soft...
CAISE
1995
Springer
13 years 11 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
13 years 6 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
ICCL
1998
IEEE
13 years 11 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
JOT
2008
13 years 7 months ago
2008
In this paper, we discuss various aspects of the design, implementation, and use of JAPROSIM which is a general purpose discrete event simulation framework based on the Java progr...