WorldCat Identities

IFIP WG 10.5

Overview
Works: 141 works in 219 publications in 1 language and 4,197 library holdings
Genres: Conference papers and proceedings  Periodicals 
Roles: Sponsor, Organizer of meeting, Other, isb, Contributor
Classifications: TK7874, 621.395
Publication Timeline
.
Most widely held works by IFIP WG 10.5
Proceedings of the ... International Symposium on System Synthesis by International Symposium on System Synthesis( )

in English and held by 319 WorldCat member libraries worldwide

Proceedings, Tenth International Symposium on System Synthesis : September 17-19, 1997, Antwerp, Belgium by International Symposium on System Synthesis( )

3 editions published in 1997 in English and held by 281 WorldCat member libraries worldwide

CODES+ISSS 2005 : International Conference on Hardware/Software Codesign and System Synthesis : September 18-21, 2005, Jersey City, New Jersey, USA by IEEE/ACM/IFIP International Conference on Hardware/Software Codesign & System Synthesis( )

2 editions published in 2005 in English and held by 257 WorldCat member libraries worldwide

Proceedings, 9th International Symposium on System Synthesis : La Jolla, California, November 6-8, 1996 by International Symposium on System Synthesis( )

2 editions published in 1996 in English and held by 244 WorldCat member libraries worldwide

Computer Animation '96 : June 3-4, 1996, Geneva, Switzerland : proceedings by Computer Animation '96( )

3 editions published in 1996 in English and held by 241 WorldCat member libraries worldwide

16th Symposium on Integrated Circuits and System Design : SBCCI 2003, São Paulo, Brazil, September 8-11, 2003 : proceedings by Symposium on Integrated Circuits and Systems Design( )

5 editions published in 2003 in English and held by 231 WorldCat member libraries worldwide

18th IEEE/IFIP International Workshop on Rapid System Prototyping : RSP 2007, 28-30 May, 2007, Porto Alegre, RS, Brazil by International Workshop on Rapid System Prototyping( )

2 editions published in 2007 in English and held by 220 WorldCat member libraries worldwide

Annotation
IFIP VLSI-SoC 2006 : IFIP WG 10.5 International Conference on Very Large Scale Integration & System-on-Chip : Nice, France, October 16-18, 2006 by IFIP TC10/WG10.5 International Conference on Very Large Scale Integration of Systems-on-Chip( )

1 edition published in 2006 in English and held by 201 WorldCat member libraries worldwide

Proceedings : 10-15 September 2001, Pirenopolis, Brazil by Symposium on Integrated Circuits and Systems Design( )

2 editions published in 2001 in English and held by 193 WorldCat member libraries worldwide

Annotation
19th IEEE/IFIP International Symposium on Rapid System Prototyping : RSP 2008 proceedings, 2-5 June 2008, Monterey, California by IEEE/IFIP International Symposium on Rapid System Prototyping( )

2 editions published in 2008 in English and held by 193 WorldCat member libraries worldwide

VLSI '83 : VLSI design of digital systems : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Trondheim, Norway, 16-19 August 1983 by International Conference on Very Large Scale Integration( Book )

4 editions published in 1983 in English and held by 182 WorldCat member libraries worldwide

Proceedings of the 2018 Forum on Specification & Design Languages : Munich, Germany, September 10-12, 2018 by FDL (Conference)( )

1 edition published in 2018 in English and held by 137 WorldCat member libraries worldwide

Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings by Dominique Borrione( Book )

4 editions published in 2005 in English and held by 135 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbrücken, Germany, in October 2005. The 21 revised full papers and 18 short papers presented together with 2 invited talks and one tutorial were carefully reviewed and selected from 79 submissions. The papers are organized in topical sections on functional approaches to design description, game solving approaches, abstraction, algorithms and techniques for speeding (DD-based) verification, real time and LTL model checking, evaluation of SAT-based tools, model reduction, and verification of memory hierarchy mechanisms
Wafer scale integration : proceedings of the IFIP WG 10.5 Workshop on Wafer Scale Integration, Grenoble, France, 17-19 March 1986 by IFIP WG 10.5 Workshop on Wafer Scale Integration( Book )

3 editions published in 1986 in English and held by 127 WorldCat member libraries worldwide

VLSI 87 : VLSI design of digital systems : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Vancouver, Canada, 10-12 August 1987 by IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration( Book )

3 editions published in 1988 in English and held by 125 WorldCat member libraries worldwide

Formal methods for VLSI design : IFIP WG 10.5 lecture notes by J Staunstrup( Book )

4 editions published in 1990 in English and held by 124 WorldCat member libraries worldwide

Proceedings : SBCCI ... by Symposium on Integrated Circuits and Systems Design( )

in English and held by 107 WorldCat member libraries worldwide

Proceedings of the ... IEEE International Workshop on Rapid System Prototyping by International Workshop on Rapid System Prototyping( )

in English and held by 69 WorldCat member libraries worldwide

Proceedings of the ... International Symposium on High-Level Synthesis by International Symposium on High-Level Synthesis( )

in English and held by 65 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.55 (from 0.48 for Proceeding ... to 0.73 for Proceeding ...)

Proceedings : 10-15 September 2001, Pirenopolis, Brazil
Covers
Proceedings : 10-15 September 2001, Pirenopolis, BrazilCorrect hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings
Alternative Names
I.F.I.P. WG 10.5

I.F.I.P. Working Group 10.5

IFIP WG 10 5

IFIP WG 5 10

International Federation for Information Processing Technical Committee Computer Systems Technology Working Group

International Federation for Information Processing Technical Committee Computer Systems Technology Working Group Design and Engineering of Electronic Systems

International Federation for Information Processing WG 10.5

International Federation for Information Processing WG 5

International Federation for Information Processing Working Group

International Federation for Information Processing Working-Group 10.5

International Federation for Information Processing Working Group 5

International Federation for Information Processing Working Group Very Large Scale Integration

International Federation for Information Processing Working Group VLSI

Working Group Very Large Scale Integration

Working Group VLSI

Languages
English (67)