Search Sciweavers | Sciweavers

769 search results - page 49 / 154

» The Real-Time Specification for Java

click to vote

NCA
2008
IEEE

119views Computer Networks» more NCA 2008»

An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets

14 years 4 months ago

Download www2.cs.ucy.ac.cy

Chryssis Georgiou, Peter M. Musial, Alexander A. S...

claim paper

Read More »

click to vote

CAV
2007
Springer

116views Hardware» more CAV 2007»

A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java

14 years 3 months ago

Download cav2007.org

Gary T. Leavens, Joseph R. Kiniry, Erik Poll

claim paper

Read More »

click to vote

SAC
2006
ACM

103views Applied Computing» more SAC 2006»

Java bytecode specification and verification

14 years 3 months ago

Download delivery.acm.org

Lilian Burdy, Mariela Pavlova

claim paper

Read More »

click to vote

VLSID
2000
IEEE

89views VLSI» more VLSID 2000»

Specification and Design of a Quasi-Delay-Insensitive Java Card

14 years 2 months ago

Download www.cse.ttu.edu.tw

Fu-Chiung Cheng, Chuin-Ren Wang

claim paper

Read More »

click to vote

DATE
1999
IEEE

66views Hardware» more DATE 1999»

Specification and Validation of Distributed IP-Based Designs with JavaCAD

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers