hardware | Sciweavers

50

ULPAA
1994

152views Hardware» more ULPAA 1994»

Programming with ASN.1 Using Polymorphic Types and Type Specialization

14 years 1 months ago

object-oriented abstractions is described that permits direct programming with ASN.1 speci ed types. The design and implementation also supports the exible use of di erent encoding...

R. Greg Lavender, Dennis G. Kafura, R. W. Mullins

claim paper

Read More »

39

click to vote

ULPAA
1994

110views Hardware» more ULPAA 1994»

Automatic Generation of Optimized Code for Marshalling Routines

14 years 1 months ago

Download www.hoschka.com

Philipp Hoschka, Christian Huitema

claim paper

Read More »

34

click to vote

ULPAA
1994

120views Hardware» more ULPAA 1994»

EMail With A Mind of Its Own: The Safe-Tcl Language for Enabled Mail

14 years 1 months ago

Download www.guppylake.com

A uniform extension language for email systems can radically extend the utility of electronic mail, simplifying the construction of mail-based services and permitting the delivery...

Nathaniel S. Borenstein

claim paper

Read More »

35

click to vote

ULPAA
1994

143views Hardware» more ULPAA 1994»

Configuring Function-based Communication Protocols for Multimedia Applications

14 years 1 months ago

Download www.cs.wustl.edu

Next generation communication systems must support diverse applications operating over high-performance local, metropolitan, and wide area networks. This paper describes a framewo...

Douglas C. Schmidt, Burkhard Stiller, Tatsuya Suda...

claim paper

Read More »

50

click to vote

TPCD
1994

157views Hardware» more TPCD 1994»

Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization

14 years 1 months ago

Download www.cs.cornell.edu

Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...

John W. O'Leary, Miriam Leeser, Jason Hickey, Mark...

claim paper

Read More »

34

click to vote

PSTV
1994

112views Hardware» more PSTV 1994»

Feature interaction detection using backward reasoning with LOTOS

14 years 1 months ago

Download jucmnav.softwareengineering.ca

Bernard Stepien, Luigi Logrippo

claim paper

Read More »

30

click to vote

PSTV
1993

89views Hardware» more PSTV 1993»

What Makes Industries Believe in Formal Methods

14 years 1 months ago

Download wwwhome.cs.utwente.nl

Chris A. Vissers, Marten van Sinderen, Luís...

claim paper

Read More »

27

click to vote

PSTV
1993

85views Hardware» more PSTV 1993»

An Engineering Approach to Formal Methods

14 years 1 months ago

Download www.cs.stir.ac.uk

Kenneth J. Turner

claim paper

Read More »

37

click to vote

PSTV
1993

123views Hardware» more PSTV 1993»

On the Verification of Temporal Properties

14 years 1 months ago

Download spinroot.com

We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...

Patrice Godefroid, Gerard J. Holzmann

claim paper

Read More »

19

click to vote

CHDL
1993

109views Hardware» more CHDL 1993»

Automatic Synthesis of Sequential Synchronizations

14 years 1 months ago