Výsledky vyhledávání - "Jain, Jawahar"

Publikováno v: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems. Nov99, Vol. 18 Issue 11, p1542. 16p. 5 Black and White Photographs, 11 Diagrams, 3 Charts.

Zobrazit plný text záznamu

Vybrat výsledek číslo 8 8

Conference

Dynamically resizable binary decision diagrams.

Autor: Stergiou, Stergios, Jain, Jawahar

Publikováno v: Proceedings of the 20th Symposium: Great Lakes Symposium on VLSI; 5/16/2010, p185-190, 6p

Zobrazit plný text záznamu

Vybrat výsledek číslo 9 9

Conference

Multi-threaded reachability.

Autor: Sahoo, Debashis, Jain, Jawahar, Iyer, Subramanian K., Dill, David L., Emerson, E. Allen

Publikováno v: DAC: Annual ACM/IEEE Design Automation Conference; Jun2005, p467-470, 4p

Zobrazit plný text záznamu

Vybrat výsledek číslo 10 10

Kniha

Predictive Reachability Using a Sample-Based Approach.

Autor: Borrione, Dominique, Paul, Wolfgang, Sahoo, Debashis, Jain, Jawahar, Iyer, Subramanian K., Dill, David, Emerson, E. Allen

Publikováno v: Correct Hardware Design & Verification Methods; 2005, p388-392, 5p

Zobrazit plný text záznamu

Vybrat vše | Vybrané výsledky:

1
2
3
4
5
6
7
Další »
[7]

Vyhledávací nástroje:

RSS
Poslat e-mailem

Upřesnit hledání

Omezení vyhledávání

Plný text Recenzováno Digitální knihovna AV ČR

Zdroje

Pouze tištěné dokumenty

Zahrnout EIZ

40 Konferenční materiály
18 Akademické články
5 Knihy
2 Časopisy

8 computer science
4 logics and meanings of programs
4 software engineering
3 algorithms
3 binary decision diagram (bdd)
3 binary number system
3 computer arithmetic
3 computer software
3 digital filters (mathematics)
3 integrated circuit verification
3 logic circuits
3 mathematical logic and formal languages
3 partitions (mathematics)
3 recursive partitioning
2 artificial intelligence (incl. robotics)
2 computer hardware
2 computer-aided engineering (cad, cae) and design
2 programming languages, compilers, interpreters
2 symbolic model checking
1 artificial intelligence
1 bdd
1 bounded model checking
1 computer communication networks
1 computer programming
1 eggs
1 errors
1 formal verification
1 gametophytes
1 grid computing
1 gynoecium
1 heuristic
1 information systems and communication service
1 management of computing and information systems
1 megaspores
1 megasporocytes
1 monitoring, ambulatory
1 parallel computing
1 programming techniques
1 sat
1 signal processing, computer-assisted
1 special purpose and application-based systems
1 stress, psychological

26 ieee
20 association for computing machinery
6 springer nature
3 ieee comp soc
2 elsevier b.v.
2 fujitsu ltd
2 publ by ieee
1 [ieee]
1 ieee comput. soc. press

6 ieee transactions on computer-aided design of integrated circuits & systems
6 ieee transactions on computers
5 dac: annual acm/ieee design automation conference
3 formal methods in system design
3 ieee/acm international conference on computer-aided design, digest of technical papers
3 proceedings of the ieee international conference on vlsi design
2 correct hardware design & verification methods
2 proceedings - design automation conference
2 proceedings of the 1996 ieee acm international conference computer-aided design
2 proceedings of the 36th annual acm/ieee design automation conference
2 proceedings of the conference: design, automation & test in europe
1 1991 ieee international conference on computer-aided design digest of technical papers
1 2013 35th annual international conference of the ieee engineering in medicine & biology society (embc)
1 annual international conference of the ieee engineering in medicine and biology society ieee engineering in medicine and biology society annual international conference
1 automated technology for verification & analysis
1 current science
1 digest of papers - international symposium on fault-tolerant computing
1 electronic notes in theoretical computer science
1 entcs: electronic notes in theoretical computer science
1 fm 2005: formal methods
1 formal methods in computer-aided design
1 fujitsu scientific & technical journal
1 fujitsu scientific and technical journal
1 proceedings - ieee international conference on computer design: vlsi in computers and processors
1 proceedings - ieee international symposium on circuits and systems
1 proceedings 42nd design automation conference, 2005
1 proceedings of international conference on computer aided design
1 proceedings of the 1997 ieee acm international conference computer-aided design
1 proceedings of the 1997 ieee/acm international conference: computer-aided design
1 proceedings of the 1998 ieee acm international conference computer-aided design
1 proceedings of the 1998 ieee/acm international conference: computer-aided design
1 proceedings of the 2000 asia & south pacific design automation conference
1 proceedings of the 20th symposium: great lakes symposium on vlsi
1 proceedings of the 32nd annual acm ieee design automation conference
1 proceedings of the 32nd annual acm/ieee design automation conference
1 proceedings of the 37th annual design automation conference
1 proceedings of the 40th annual design automation conference
1 proceedings of the 42nd annual design automation conference
1 proceedings of the asian test symposium
1 proceedings of the conference: design, automation & test in europe (9781581131215)
1 proceedings of the ieee great lakes symposium on vlsi
1 proceedings of the ieee vlsi test symposium

31 Complementary Index
16 Scopus®
7 Supplemental Index
4 Business Source Ultimate
4 Academic Search Ultimate
1 MEDLINE
1 Science Citation Index Expanded
1 ScienceDirect
1 JSTOR Journals
1 OpenAIRE

Od:

do:

Možnosti vyhledávání

Tematická mapa
Historie vyhledávání
Pokročilé vyhledávání

Objevte více

Abecední procházení

Hledáte pomoc?

Tipy pro vyhledávání

načítá se......