hardware | Sciweavers

39

ULPAA
1994

152views Hardware» more ULPAA 1994»

Programming with ASN.1 Using Polymorphic Types and Type Specialization

13 years 10 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 »

30

click to vote

ULPAA
1994

110views Hardware» more ULPAA 1994»

Automatic Generation of Optimized Code for Marshalling Routines

13 years 10 months ago

Download www.hoschka.com

Philipp Hoschka, Christian Huitema

claim paper

Read More »

27

click to vote

ULPAA
1994

120views Hardware» more ULPAA 1994»

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

13 years 10 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 »

29

click to vote

ULPAA
1994

143views Hardware» more ULPAA 1994»

Configuring Function-based Communication Protocols for Multimedia Applications

13 years 10 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 »

41

click to vote

TPCD
1994

157views Hardware» more TPCD 1994»

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

13 years 10 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 »

26

click to vote

PSTV
1994

112views Hardware» more PSTV 1994»

Feature interaction detection using backward reasoning with LOTOS

13 years 10 months ago

Download jucmnav.softwareengineering.ca

Bernard Stepien, Luigi Logrippo

claim paper

Read More »

21

click to vote

PSTV
1993

89views Hardware» more PSTV 1993»

What Makes Industries Believe in Formal Methods

13 years 10 months ago

Download wwwhome.cs.utwente.nl

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

claim paper

Read More »

23

click to vote

PSTV
1993

85views Hardware» more PSTV 1993»

An Engineering Approach to Formal Methods

13 years 10 months ago

Download www.cs.stir.ac.uk

Kenneth J. Turner

claim paper

Read More »

30

click to vote

PSTV
1993

123views Hardware» more PSTV 1993»

On the Verification of Temporal Properties

13 years 10 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 »

16

click to vote

CHDL
1993

109views Hardware» more CHDL 1993»

Automatic Synthesis of Sequential Synchronizations

13 years 10 months ago