Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Przeglądasz jako GOŚĆ

Wyszukujesz frazę ""Hu, A.J."" wg kryterium: Autor


Tytuł :
Automatic formal verification of software: Fundamental concepts.
Autorzy :
Hu, A.J.
Pokaż więcej
Źródło :
2009 International Conference on Communications, Circuits & Systems; 2009, p1155-1159, 5p
Konferencja
Tytuł :
Automatic Inference of Frame Axioms Using Static Analysis.
Autorzy :
Rakamaric, Z.
Hu, A.J.
Pokaż więcej
Źródło :
2008 23rd IEEE/ACM International Conference on Automated Software Engineering; 2008, p89-98, 10p
Konferencja
Tytuł :
Early outpoint insertion for high-level software vs. RTL formal combinational equivalence verification.
Autorzy :
Xiushan Feng
Hu, A.J.
Pokaż więcej
Źródło :
2006 43rd ACM/IEEE Design Automation Conference; 2006, p1063-1068, 6p
Konferencja
Tytuł :
Generating monitor circuits for simulation-friendly GSTE assertion graphs.
Autorzy :
Ng, K.
Hu, A.J.
Jin Yang
Pokaż więcej
Źródło :
IEEE International Conference on Computer Design: VLSI in Computers & Processors, 2004. ICCD 2004; 2004, p409-416, 8p
Konferencja
Tytuł :
Efficient generation of monitor circuits for GSTE assertion graphs.
Autorzy :
Hu, A.J.
Cases, J.
Jin Yang
Pokaż więcej
Źródło :
ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486); 2003, p154-159, 6p
Konferencja

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies