Search Sciweavers | Sciweavers

5630 search results - page 16 / 1126

» Computability in Specification

122

click to vote

DAC
1992
ACM

82views Computer Architecture» more DAC 1992»

On the Over-Specification Problem in Sequential ATPG Algorithms

15 years 11 months ago

Download cadlab.ece.ucsb.edu

Kwang-Ting Cheng, Hi-Keung Tony Ma

claim paper

Read More »

159

click to vote

ECOOPW
2000
Springer

102views Distributed And Parallel Com...» more ECOOPW 2000»

Specification, Implementation, and Validation of Object-Oriented Embedded Systems

15 years 10 months ago

Download people.cs.kuleuven.be

François Terrier, Nikos S. Voros, Udo Brock...

claim paper

Read More »

159

click to vote

BANFF
1995

112views Distributed And Parallel Com...» more BANFF 1995»

Specification Structures and Propositions-as-Types for Concurrency

15 years 10 months ago

Download www.dcs.gla.ac.uk

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan

claim paper

Read More »

114

click to vote

ICNP
1995
IEEE

69views Computer Networks» more ICNP 1995»

Protocol architectures for delivering application specific quality of service

15 years 10 months ago

Download www.ieee-icnp.org

P. K. Jain, Norman C. Hutchinson, Samuel T. Chanso...

claim paper

Read More »

125

click to vote

ICNP
1995
IEEE

84views Computer Networks» more ICNP 1995»

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers