Wynik wyszukiwania
Zapytanie: PUŁKA ANDRZEJ
Liczba odnalezionych rekordów: 93



Przej¶cie do opcji zmiany formatu | Wy¶wietlenie wyników w wersji do druku | Pobranie pliku do edytora | Przesłanie wyników do modułu analizy | excel | Nowe wyszukiwanie
1/93
Nr opisu: 0000138516
Tytuł oryginału: Digitally programmable modified current differencing transconductance amplifier in 40-nm technology: design flow, parameter analyses and applications
Autorzy: Andrzej Malcher, Adam* Kristof, Andrzej Pułka.
¬ródło: -IET Circ. Devices Syst. 2020 vol. 14 iss. 8, s. 1272-1282, bibliogr. 26 poz.
Impact Factor: 1.290
Punktacja MNiSW: 70.000
p-ISSN: 1751-858X
e-ISSN: 1751-8598
DOI:
Typ publikacji: A
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


2/93
Nr opisu: 0000136758
Tytuł oryginału: Flexible hardware approach to multi-core time-predictable systems design based on the interleaved pipeline processing
Autorzy: Ernest Antolak, Andrzej Pułka.
¬ródło: -IET Circ. Devices Syst. 2020 vol. 14 iss. 5, s. 648-659, bibliogr. 35 poz.
Impact Factor: 1.290
Punktacja MNiSW: 70.000
p-ISSN: 1751-858X
e-ISSN: 1751-8598
DOI:
Typ publikacji: A
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


3/93
Nr opisu: 0000127495
Tytuł oryginału: 40 nm CMOS implementation of basic building blocks for programmable current mode devices.
Autorzy: Andrzej Malcher, Adam* Kristof, Andrzej Pułka.
¬ródło: W: 2018 International Conference on Signals and Electronic Systems (ICSES), Kraków, Poland, 10-12 September 2018. Eds. Witold Machowski, Jacek Stępień. Piscataway : IEEE, 2018, s. 27-32, bibliogr. 18 poz.
ISBN: 978-153866768-2
Punktacja MNiSW: 20.000
Liczba arkuszy wydawniczych: 0,5
Bazy indeksuj±ce publikację: Scopus; IEEE Xplore
DOI:
Słowa kluczowe polskie: symulacja układów analogowych ; wdrażanie CMOS ; wtórniki sygnału
Słowa kluczowe angielskie: analog circuits simulation ; CMOS implementation ; signal followers
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


4/93
Nr opisu: 0000127463
Tytuł oryginału: BioCircuit - a hardware based methodology for protein recognition.
Autorzy: Dominik Gajda, Andrzej Pułka.
¬ródło: W: 2018 International Conference on Signals and Electronic Systems (ICSES), Kraków, Poland, 10-12 September 2018. Eds. Witold Machowski, Jacek Stępień. Piscataway : IEEE, 2018, s. 289-294, bibliogr. 16 poz.
ISBN: 978-153866768-2
Punktacja MNiSW: 20.000
Liczba arkuszy wydawniczych: 0,5
Bazy indeksuj±ce publikację: Scopus; IEEE Xplore
DOI:
Słowa kluczowe polskie: algorytm BLAST ; programowanie dynamiczne ; implementacja FPGA ; wyszukiwanie białka ; dopasowanie sekwencji
Słowa kluczowe angielskie: BLAST algorithm ; dynamic programming ; FPGA implementation ; protein searching ; sequence alignment
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


5/93
Nr opisu: 0000127486
Tytuł oryginału: JumpSAT based system verification scenarios.
Autorzy: Andrzej Pułka.
¬ródło: W: 2018 International Conference on Signals and Electronic Systems (ICSES), Kraków, Poland, 10-12 September 2018. Eds. Witold Machowski, Jacek Stępień. Piscataway : IEEE, 2018, 301-306, bibliogr. 18 poz.
ISBN: 978-153866768-2
Punktacja MNiSW: 20.000
Liczba arkuszy wydawniczych: 0,5
Bazy indeksuj±ce publikację: Scopus; IEEE Xplore
DOI:
Słowa kluczowe polskie: weryfikacja formalna ; badanie spełnialno¶ci logicznej ; weryfikacja oparta na analizie spełnialno¶ci funkcji
Słowa kluczowe angielskie: formal verification ; SAT solving ; SAT-based verification
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


6/93
Nr opisu: 0000127501
Tytuł oryginału: Real-time control and data acquisition of dust research combustion chamber using HMI panel.
Autorzy: Sebastian Orzechowski, Andrzej Malcher, Andrzej Pułka.
¬ródło: W: 2018 International Conference on Signals and Electronic Systems (ICSES), Kraków, Poland, 10-12 September 2018. Eds. Witold Machowski, Jacek Stępień. Piscataway : IEEE, 2018, s. 295-300, bibiogr. 17 poz.
ISBN: 978-153866768-2
Punktacja MNiSW: 20.000
Liczba arkuszy wydawniczych: 0,5
Bazy indeksuj±ce publikację: Scopus; IEEE Xplore
DOI:
Słowa kluczowe polskie: wirtualny układ sterowania ; HMI ; programowalny sterownik logiczny ; komora paleniskowa ; PID ; Przemysł 4.0
Słowa kluczowe angielskie: real-time control system ; HMI ; programmable logic controller ; combustion chamber ; PID ; Industry 4.0
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


7/93
Nr opisu: 0000107586
Tytuł oryginału: Preface
Autorzy: Andrzej Pułka.
¬ródło: -Microprocess. Microsyst. 2016 vol. 44, s. 1
p-ISSN: 0141-9331
e-ISSN: 1872-9436
DOI:
Typ publikacji: GD
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


8/93
Nr opisu: 0000111708
Tytuł oryginału: Some issues concerning design space exploration in time predictable embedded systems.
Autorzy: Andrzej Pułka, Ł. Golly.
¬ródło: W: 2016 International Conference on Signals and Electronic Systems (ICSES), Kraków, Poland, 5-7 September 2016. Eds.: Witold Machowski and Jacek Stępień. Piscataway : IEEE, 2016, s. 231-236, bibliogr. 20 poz.
ISBN: 978-1-5090-2667-8
Liczba arkuszy wydawniczych: 0,3
Bazy indeksuj±ce publikację: Web of Science
DOI:
Słowa kluczowe polskie: badanie przestrzeni projektowej ; system czasu rzeczywistego ; system wbudowany ; wielow±tkowo¶ć ; wielozadaniowo¶ć ; urz±dzenia przewidywalne czasowo
Słowa kluczowe angielskie: design space exploration ; real-time system ; embedded system ; multithreading ; multitasking ; time predictable machine
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.


9/93
Nr opisu: 0000100887
Tytuł oryginału: High level model of time predictable multitask control unit.
Autorzy: Ł. Golly, Adam Milik, Andrzej Pułka.
¬ródło: W: [13th] IFAC Conference on Programmable Devices and Embedded Systems. PDeS 2015, Cracow, May 13th - 14th, 2015. Preprints. [B.m.] : [b.w.], 2015, s. 357-362, bibliogr. 18 poz.
Organizator: Institute of Electronics. Silesian University of Technology. Gliwice. Poland, Department of Cybernetics and Biomedical Engineering. Faculty of Electrical Engineering and Computer Science. VSB Technical University of Ostrava. Ostrava. Czech Republic, Department of Control and Instrumentation. Faculty of Electrical Engineering and Communication. Brno University of Technology. Brno. Czech Republic
Uwagi: Toż na CD-ROM
Liczba arkuszy wydawniczych: 0,3
Słowa kluczowe polskie: system czasu rzeczywistego ; system wbudowany ; system wieloprocesorowy ; przetwarzanie potokowe ; równoległo¶ć ; wielow±tkowo¶ć ; wielozadaniowo¶ć ; urz±dzenia przewidywalne czasowo
Słowa kluczowe angielskie: real-time system ; embedded system ; multiprocessing system ; pipelining processing ; parallelism ; concurrency ; multithreading ; multitasking ; time predictable machine
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. Cz.O1 144118 + CD


10/93
Nr opisu: 0000101939
Tytuł oryginału: High level model of time predictable multitask control unit
Autorzy: Ł. Golly, Adam Milik, Andrzej Pułka.
¬ródło: -IFAC-PapersOnLine 2015 vol. 48 iss. 4, s. 348-353, bibliogr.
Uwagi: Referat wygłoszony na: 13th IFAC and IEEE Conference on Programmable Devices and Embedded Systems PDES 2015. Ed. by Adam Milik
Punktacja MNiSW: 5.000
Liczba arkuszy wydawniczych: 0,5
e-ISSN: 2405-8963
DOI:
Słowa kluczowe polskie: system czasu rzeczywistego ; system wbudowany ; system wieloprocesorowy ; przetwarzanie potokowe ; równoległo¶ć ; współbieżno¶ć ; wielow±tkowo¶ć ; wielozadaniowo¶ć ; urz±dzenia przewidywalne czasowo
Słowa kluczowe angielskie: real-time system ; embedded system ; multiprocessing system ; pipelining processing ; parallelism ; concurrency ; multithreading ; multitasking ; time predictable machine
Typ publikacji: A
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


11/93
Nr opisu: 0000096128
Tytuł oryginału: Introducing fuzzy default logic into WalkSAT algorithm.
Autorzy: Andrzej Pułka, Adam Milik.
¬ródło: W: 2014 International Conference on Signals and Electronic Systems (ICSES), Poznań, Poland, 11-13 September 2014. Faculty of Electronics and Telecommunications. Poznan University of Technology. Poland. Piscataway : IEEE, 2014, s. 1-4, bibliogr. 13 poz.
ISBN: 978-1-4799-7009-4
Liczba arkuszy wydawniczych: 0,2
Bazy indeksuj±ce publikację: Web of Science
DOI:
Słowa kluczowe polskie: spełnialno¶ć formuł logicznych ; CNF ; weryfikacja formalna ; wyszukiwarka heurystyczna ; badanie spełnialno¶ci logicznej
Słowa kluczowe angielskie: Boolean satisfiability ; CNF ; formal verification ; heuristic search ; SAT solving
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


12/93
Nr opisu: 0000095873
Tytuł oryginału: Koncepcja przyrostowa algorytmu Smith-Watermana - realizacja sprzętowa
Autorzy: Andrzej Pułka, Adam Milik.
¬ródło: -Pr. Komis. Nauk. PAN Katow. 2014 nr 36/38, s. 81-83
p-ISSN: 0238-9991
Typ publikacji: A
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.


13/93
Nr opisu: 0000096127
Tytuł oryginału: On FPGA dedicated SFC synthesis and implementation according to IEC61131.
Autorzy: Adam Milik, Andrzej Pułka.
¬ródło: W: 2014 International Conference on Signals and Electronic Systems (ICSES), Poznań, Poland, 11-13 September 2014. Faculty of Electronics and Telecommunications. Poznan University of Technology. Poland. Piscataway : IEEE, 2014, s. 1-4, bibliogr. 18 poz.
ISBN: 978-1-4799-7009-4
Liczba arkuszy wydawniczych: 0,2
Bazy indeksuj±ce publikację: Web of Science; Scopus
DOI:
Słowa kluczowe polskie: FPGA ; synteza wysokiego poziomu ; IL ; LD ; sterownik programowalny ; system rekonfiguracji ; SFC
Słowa kluczowe angielskie: FPGA ; high level synthesis ; IL ; LD ; programmable logic controller ; reconfigurable system ; SFC
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


14/93
Nr opisu: 0000095560
Tytuł oryginału: Selection of search strategies for solving 3-SAT problems
Autorzy: Andrzej Pułka.
¬ródło: -Int. J. Appl. Math. Comput. Sci. 2014 vol. 24 no. 2, s. 283-297, bibliogr. 23 poz.
Impact Factor: 1.227
Punktacja MNiSW: 25.000
p-ISSN: 1641-876X
DOI:
Słowa kluczowe polskie: badanie spełnialno¶ci logicznej ; weryfikacja formalna ; CNF ; spełnialno¶ć formuł logicznych
Słowa kluczowe angielskie: SAT solving ; formal verification ; CNF ; Boolean satisfiability
Typ publikacji: A
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Informacje o dostępie open-access: open-access-licence: CC-BY-NC-ND
Dostęp on-line:


15/93
Nr opisu: 0000095523
Tytuł oryginału: Synteza i implementacja układu sterowania w strukturze FPGA opisanego językiem SFC zgodnego z IEC61131
Tytuł w wersji angielskiej: Synthesis and implementation of controller in FPGA described with SFC according to IEC61131
Autorzy: Adam Milik, Andrzej Pułka.
¬ródło: -Elektronika 2014 R. 55 nr 12, s. 17-20, bibliogr. 10 poz.
Punktacja MNiSW: 8.000
p-ISSN: 0033-2089
DOI:
Słowa kluczowe polskie: układ sterowania ; FPGA ; SFC ; IEC 61131
Słowa kluczowe angielskie: control system ; FPGA ; SFC ; IEC 61131
Typ publikacji: A
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. P.2411
Dostęp on-line:


16/93
Nr opisu: 0000090128
Tytuł oryginału: Analysis of timing resources for highly predictable real-time systems models.
Tytuł w wersji polskiej: Analiza czasowa wysoce przewidywalnych modeli systemów czasu rzeczywistego
Autorzy: Ł. Golly, Andrzej Pułka.
¬ródło: W: Mixed design of integrated circuits and systems. MIXDES 2013. Proceedings of the 20th international conference, Gdynia, Poland, 20-22 June 2013. Ed. by A. Napieralski. ŁódĽ : Department of Microelectronics and Computer Science. Technical University of ŁódĽ, 2013, s. 497-502, bibliogr. 11 poz.
ISBN: 978-83-63578-01-5978-83-63578-00-8
Organizator: Department of Microelectronics and Computer Science. Lodz University of Technology, Poland [et al.]
Uwagi: Toż na CD-ROM
Liczba arkuszy wydawniczych: 0,3
Bazy indeksuj±ce publikację: Scopus
Słowa kluczowe polskie: badanie przestrzeni projektowej ; elektroniczny system wbudowany ; koprojektowanie sprzętowo-programowe ; symulacja ; modelowanie ; projektowanie na poziomie systemowym
Słowa kluczowe angielskie: design space exploration ; electronic embedded systems ; hardware-software codesign ; simulation ; modelling ; system-level design
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


17/93
Nr opisu: 0000088980
Tytuł oryginału: Time predictable systems based on pipeline processor with interleaving of hardware threads
Tytuł w wersji polskiej: Systemy przewidywalne czasowo oparte na architekturze procesora potokowego z przeplotem w±tków sprzętowych
Autorzy: Ł. Golly, Andrzej Pułka.
¬ródło: -Elektronika 2013 R. 54 nr 12, s. 36-40, bibliogr. 13 poz.
Punktacja MNiSW: 8.000
p-ISSN: 0033-2089
Słowa kluczowe polskie: system czasu rzeczywistego ; elektroniczny system wbudowany ; analiza czasowa ; system wielozadaniowy ; przetwarzanie potokowe
Słowa kluczowe angielskie: real time system ; electronic embedded system ; time-domain analysis ; multitasking system ; pipeline processing
Typ publikacji: A
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. P.2411
Dostęp on-line:


18/93
Nr opisu: 0000078696
Tytuł oryginału: Timing analysis of multitask systems in SystemC environment
Tytuł w wersji angielskiej: Analiza czasowa systemów wielozadaniowych w ¶rodowisku języka SystemC
Autorzy: Ł. Golly, Andrzej Pułka.
¬ródło: -Elektronika 2013 R. 54 nr 2, s. 17-22, bibliogr. 15 poz.
Punktacja MNiSW: 8.000
p-ISSN: 0033-2089
Słowa kluczowe polskie: język SystemC ; system wielozadaniowy
Słowa kluczowe angielskie: SystemC language ; multitasking system
Typ publikacji: A
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. P.2411
Dostęp on-line:


19/93
Nr opisu: 0000082081
Tytuł oryginału: Dynamic rescheduling of tasks in time predictable embedded systems.
Tytuł w wersji polskiej: Dynamiczne harmonogramowanie zadań w czasowo-przewidywalnych systemach wbudowanych
Autorzy: Andrzej Pułka, Adam Milik.
¬ródło: W: Proceedings of 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Systems. PDeS'2012, Brno, May 23th-25th, 2012. [Brno] : [Brno University of Technology. Faculty of Electrical Engineering and Communication], 2012, s. 280-285, bibliogr. 13 poz.
Organizator: Department of Control and Instrumentation. Faculty of Electrical Engineering and Communication. Brno University of Technology. Czech Republic [et al.]
DOI:
Słowa kluczowe polskie: system czasu rzeczywistego ; system wbudowany ; system wieloprocesorowy ; równoległo¶ć ; współbieżno¶ć ; wielotorowo¶ć ; wielozadaniowo¶ć
Słowa kluczowe angielskie: real time system ; embedded system ; multiprocessing system ; parallelism ; concurrency ; multithreading ; multitasking
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.


20/93
Nr opisu: 0000081553
Tytuł oryginału: Hardware implementation of fuzzy default logic.
Tytuł w wersji polskiej: Implementacja sprzętowa rozmytej logiki domniemań
Autorzy: Andrzej Pułka, Adam Milik.
¬ródło: W: Human-computer systems interaction. Backgrounds and applications 2. Pt. 2. Eds: Z. S. Hippe, J. L. Kulikowski, T. Mroczek. Berlin : Springer, 2012, s. 325-343, bibliogr. 11 poz.
Seria: (Advances in Intelligent and Soft Computing ; vol. 99 1867-5662)
DOI:
Typ publikacji: U
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.


21/93
Nr opisu: 0000071089
Tytuł oryginału: Measurement aspects of genome pattern investigations Hardware implementation
Autorzy: Andrzej Pułka, Adam Milik.
¬ródło: -Metrol. Meas. Syst. 2012 vol. 19 nr 1, s. 49-62, bibliogr. 22 poz.
Impact Factor: 0.982
Punktacja MNiSW: 20.000
p-ISSN: 0860-8229
Słowa kluczowe polskie: rozpoznawanie wzorców ; programowanie dynamiczne ; przetwarzanie potokowe ; DNA ; macierz systoliczna
Słowa kluczowe angielskie: pattern recognition ; dynamic programming ; pipeline processing ; DNA ; systolic array
Typ publikacji: A
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. P.4407
Dostęp on-line:


22/93
Nr opisu: 0000081542
Tytuł oryginału: Multitask real-time systems modeling in systemC.
Tytuł w wersji polskiej: Modelowanie wielow±tkowych systemów czasu rzeczywistego w języku SystemC
Autorzy: Ł. Golly, Andrzej Pułka.
¬ródło: W: International Conference on Signals and Electronic Systems. ICSES 2012, Wrocław, Poland, September 18-21, 2012. The conference proceedings. Ed. by Zbigniew Sołtys, Bartłomiej Golenko. [B.m.] : IEEE Computer Society, 2012, s. 1-6, bibliogr. 14 poz.
DOI:
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


23/93
Nr opisu: 0000081545
Tytuł oryginału: On strategies for solving of Boolean satisfiability problems.
Tytuł w wersji polskiej: Strategie rozwi±zywania problemów spełnialno¶ci formuł Boolowskich
Autorzy: Andrzej Pułka.
¬ródło: W: International Conference on Signals and Electronic Systems. ICSES 2012, Wrocław, Poland, September 18-21, 2012. The conference proceedings. Ed. by Zbigniew Sołtys, Bartłomiej Golenko. [B.m.] : IEEE Computer Society, 2012, s. 1-6, bibliogr. 13 poz.
DOI:
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


24/93
Nr opisu: 0000074611
Tytuł oryginału: Techniki heurystyczne w modelowaniu i weryfikacji systemów elektronicznych. Wybrane zagadnienia.
Tytuł w wersji angielskiej: Heuristic techniques in electronic systems modeling and verification Selected problems
Autorzy: Andrzej Pułka.
Adres wydawniczy: Gliwice : Wydaw. Politechniki ¦l±skiej, 2012
Opis fizyczny: , 236 s., bibliogr. 251 poz.
Seria: (Monografia ; [Politechnika ¦l±ska] nr 396)
Uwagi: Rozprawa habilitacyjna
Słowa kluczowe polskie: projektowanie systemów elektronicznych ; modelowanie systemów elektronicznych ; metody heurystyczne ; system elektroniczny ; weryfikacja ; testowanie
Słowa kluczowe angielskie: electronic systems design ; electronic systems modelling ; heuristic methods ; electronic system ; verification ; testing
Typ publikacji: M
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l.
Dostęp BCP¦:


25/93
Nr opisu: 0000069619
Tytuł oryginału: An effective SAT-solving mechanism with backtrack controlled by FDL
Tytuł w wersji polskiej: Efektywny mechanizm kontroli spełnialno¶ci formuł logicznych z nawrotem sterowania logik± FDL
Autorzy: Andrzej Pułka.
¬ródło: -Elektronika 2011 R. 52 nr 12, s. 21-25, bibliogr. 15 poz.
Punktacja MNiSW: 6.000
p-ISSN: 0033-2089
Słowa kluczowe polskie: badanie spełnialno¶ci logicznej ; weryfikacja formalna ; FUDASAT ; CNF
Słowa kluczowe angielskie: SAT solving ; formal verification ; FUDASAT ; CNF
Typ publikacji: A
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. P.2411
Dostęp on-line:


26/93
Nr opisu: 0000081575
Tytuł oryginału: An effective SAT-solving mechanism with backtrack controlled by FDL.
Autorzy: Andrzej Pułka.
¬ródło: W: Mixed design of integrated circuits and systems. MIXDES 2011. Proceedings of the 18th international conference, Gliwice, Poland, 16-18 June 2011. [Dokument elektroniczy]. [Ed. by A. Napieralski]. Wrocław : Department of Microelectronics and Computer Science. Technical University of ŁódĽ, 2011, dysk optyczny (CD-ROM) s. 252-257, bibliogr. 15 poz.
Organizator: Department of Microelectronics and Computer Science. Technical University of ŁódĽ [et al.]
Słowa kluczowe polskie: spełnialno¶ć formuł logicznych ; CNF ; weryfikacja formalna ; badanie spełnialno¶ci logicznej
Słowa kluczowe angielskie: Boolean satisfiability ; CNF ; formal verification ; SAT solving
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


27/93
Nr opisu: 0000071659
Tytuł oryginału: An efficient hardware implementation of Smith-Waterman algorithm based on the incremental approach
Autorzy: Andrzej Pułka, Adam Milik.
¬ródło: -Int. J. Electron. Telecommun. 2011 vol. 57 no. 4, s. 489-496, bibliogr. 23 poz.
Punktacja MNiSW: 8.000
p-ISSN: 0867-6747
DOI:
Słowa kluczowe polskie: mikromacierz DNA ; dopasowanie wzorca ; przetwarzanie potokowe ; synteza układów FPGA ; równoległo¶ć ; współbieżno¶ć ; system rekonfigurowalny ; programowanie dynamiczne ; macierz systoliczna
Słowa kluczowe angielskie: DNA-tile ; pattern matching ; pipelining ; FPGA synthesis ; parallelism ; concurrency ; reconfigurable system ; dynamic programming ; systolic array
Typ publikacji: A
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. P.168
Dostęp on-line:


28/93
Nr opisu: 0000076369
Tytuł oryginału: Automatic implementation of arithmetic operation in reconfigurable logic controllers.
Autorzy: Adam Milik, Andrzej Pułka.
¬ródło: W: 20th European Conference on Circuit Theory and Design. ECCTD 2011, Linkoping, Sweden, August 29-31, 2011. Piscataway : Institute of Electrical and Electronics Engineers, 2011, s. 721-724, bibliogr. 12 poz.
DOI:
Słowa kluczowe polskie: PLC ; FPGA ; synteza logiczna ; układ arytmetyczny ; układ rekonfigurowalny ; synteza wysokiego poziomu
Słowa kluczowe angielskie: PLC ; Field Programmable Gate Array ; logic synthesis ; arithmetic circuit ; reconfigurable hardware ; high level synthesis
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


29/93
Nr opisu: 0000081579
Tytuł oryginału: Considerations on incremental approach to hardware implementation of Smith-Waterman algorithm.
Autorzy: Andrzej Pułka, Adam Milik.
¬ródło: W: Mixed design of integrated circuits and systems. MIXDES 2011. Proceedings of the 18th international conference, Gliwice, Poland, 16-18 June 2011. [Dokument elektroniczy]. [Ed. by A. Napieralski]. Wrocław : Department of Microelectronics and Computer Science. Technical University of ŁódĽ, 2011, dysk optyczny (CD-ROM) s. 283-288, bibliogr. 8 poz.
Organizator: Department of Microelectronics and Computer Science. Technical University of ŁódĽ [et al.]
Słowa kluczowe polskie: mikromacierz DNA ; programowanie dynamiczne ; synteza układów FPGA ; równoległo¶ć ; współbieżno¶ć ; montaż ruroci±gów ; rekonfiguracja systemu
Słowa kluczowe angielskie: DNA-tile ; dynamic programming ; FPGA synthesis ; parallelism ; concurrency ; pipelining ; reconfigurable system
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


30/93
Nr opisu: 0000063705
Tytuł oryginału: Efektywna implementacja algorytmu wyszukiwania wzorców genetycznych
Autorzy: Adam Milik, Andrzej Pułka.
¬ródło: -Pomiary Autom. Kontr. 2011 vol. 57 nr 1, s. 15-18, bibliogr. 8 poz.
Punktacja MNiSW: 7.000
p-ISSN: 0032-4140
Słowa kluczowe polskie: programowanie dynamiczne ; metody numeryczne ; identyfikacja wzorców ; rozpoznawanie wzorców ; przetwarzanie równoległe ; przetwarzanie potokowe ; wzorzec genetyczny
Słowa kluczowe angielskie: dynamic programming ; numerical methods ; pattern identification ; pattern recognition ; parallel processing ; pipeline processing ; genome pattern
Typ publikacji: A
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. P.661
Informacje o dostępie open-access: open-access-licence: OTHER
Dostęp on-line:


31/93
Nr opisu: 0000068348
Tytuł oryginału: Implementacja wyrażeń arytmetycznych w rekonfigurowalnych sterownikach logicznych
Tytuł w wersji angielskiej: On arithmetic operation implementation in a reconfigurable logic controller
Autorzy: Adam Milik, Andrzej Pułka.
¬ródło: -Pomiary Autom. Kontr. 2011 vol. 57 nr 8, s. 842-844, bibliogr. 10 poz.
Punktacja MNiSW: 7.000
p-ISSN: 0032-4140
Słowa kluczowe polskie: FPGA ; arytmetyka ; układ rekonfigurowalny ; PLC ; sterownik programowalny ; synteza logiczna wysokiego poziomu
Słowa kluczowe angielskie: Field Programmable Gate Array ; arithmetic ; reconfigurable hardware ; PLC ; programmable logic controller ; high level logic synthesis
Typ publikacji: A
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. P.661
Informacje o dostępie open-access: open-access-licence: OTHER
Dostęp on-line:


32/93
Nr opisu: 0000081595
Tytuł oryginału: SystemC hardware-software design and simulation platform based on AMBA bus.
Autorzy: Andrzej Pułka, Ł. Golly, Adam Milik.
¬ródło: W: Mixed design of integrated circuits and systems. MIXDES 2011. Proceedings of the 18th international conference, Gliwice, Poland, 16-18 June 2011. [Dokument elektroniczy]. [Ed. by A. Napieralski]. Wrocław : Department of Microelectronics and Computer Science. Technical University of ŁódĽ, 2011, dysk optyczny (CD-ROM) s. 644-649, bibliogr. 12 poz.
Organizator: Department of Microelectronics and Computer Science. Technical University of ŁódĽ [et al.]
Słowa kluczowe polskie: badanie przestrzeni projektowej ; elektroniczny system wbudowany ; koprojektowanie sprzętowo-programowe ; symulacja ; modelowanie ; projektowanie na poziomie systemowym
Słowa kluczowe angielskie: design space exploration ; electronic embedded system ; hardware-software codesign ; simulation ; modelling ; system-level design
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


33/93
Nr opisu: 0000065501
Tytuł oryginału: Two heuristic algorithms for test point selection in analog circuit diagnoses
Autorzy: Andrzej Pułka.
¬ródło: -Metrol. Meas. Syst. 2011 vol. 18 nr 1, s. 115-128, bibliogr. 27 poz.
Impact Factor: 0.764
Punktacja MNiSW: 20.000
p-ISSN: 0860-8229
Słowa kluczowe polskie: analogowy układ diagnostyki ; algorytm heurystyczny ; SALTO ; COSMO
Słowa kluczowe angielskie: analog circuit diagnosis ; heuristic algorithm ; SALTO ; COSMO
Typ publikacji: A
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. P.4407
Dostęp on-line:


34/93
Nr opisu: 0000059497
Tytuł oryginału: Analiza efektywno¶ci i kosztów sprzętowej realizacji filtrów cyfrowych o zadanej liniowej charakterystyce fazowej
Autorzy: Adam Milik, Andrzej Pułka, Jacek Konopacki.
¬ródło: -Elektronika 2010 R. 51 nr 9, s. 40-44, bibliogr. 9 poz.
p-ISSN: 0033-2089
Słowa kluczowe polskie: filtr cyfrowy ; projektowanie układów cyfrowych ; układ FPGA
Słowa kluczowe angielskie: digital filter ; digital circuit design ; FPGA system
Typ publikacji: A
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. P.2411
Dostęp on-line:


35/93
Nr opisu: 0000082641
Tytuł oryginału: Analiza efektywno¶ci i kosztów sprzętowej realizacji filtrów cyfrowych o zadanej liniowej charakterystyce fazowej.
Autorzy: Adam Milik, Andrzej Pułka, Jacek Konopacki.
¬ródło: W: Dziewi±ta Krajowa Konferencja Elektroniki, [Darłówko Wschodnie, 30.05-02.06.2010]. Materiały konferencji. [Gdańsk] : [Polskie Towarzystwo Elektrotechniki Teoretycznej i Stosowanej. Oddział Gdańsk], 2010, s. 62
Organizator: Polskie Towarzystwo Elektrotechniki Teoretycznej i Stosowanej. Oddział Gdańsk, Wydział Elektroniki i Informatyki Politechniki Koszalińskiej
Uwagi: Pełny tekst na CD-ROM
Słowa kluczowe polskie: projektowanie filtrów cyfrowych ; projektowanie układów cyfrowych ; układ FPGA ; modelowanie ; symulacja ; współbieżno¶ć
Słowa kluczowe angielskie: digital filters design ; digital circuit design ; FPGA system ; modelling ; simulation ; concurrency
Typ publikacji: RK
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.


36/93
Nr opisu: 0000063514
Tytuł oryginału: Dynamic reconfiguration of threads in real-time system working on precision time regime.
Autorzy: Andrzej Pułka, Adam Milik.
¬ródło: W: International Conference on Signals and Electronic Systems. ICSES'10, Gliwice, Poland, September 7-10, 2010. Conference proceedings. Ed. Andrzej Pułka, Tomasz Golonek. Gliwice : [Politechnika ¦l±ska. Wydział Automatyki, Elektroniki i Informatyki], 2010, s. 339-342, bibliogr. 10 poz.
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


37/93
Nr opisu: 0000062776
Tytuł oryginału: Dynamiczna rekonfiguracja w±tków w systemach czasu rzeczywistego pracuj±cego w warunkach pełnej powtarzalno¶ci czasowej
Autorzy: Andrzej Pułka, Adam Milik.
¬ródło: -Elektronika 2010 R. 51 nr 12, s. 40-43, bibliogr. 10 poz.
p-ISSN: 0033-2089
Słowa kluczowe polskie: system czasu rzeczywistego ; powtarzalno¶ć losowa ; system wielozadaniowy
Słowa kluczowe angielskie: real time system ; timing repeatability ; multitasking system
Typ publikacji: A
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. P.2411
Dostęp on-line:


38/93
Nr opisu: 0000063463
Tytuł oryginału: Fundamental cycles generation based on dynamic constructing of graph trees.
Autorzy: Ł. Golly, Andrzej Pułka.
¬ródło: W: International Conference on Signals and Electronic Systems. ICSES'10, Gliwice, Poland, September 7-10, 2010. Conference proceedings. Ed. Andrzej Pułka, Tomasz Golonek. Gliwice : [Politechnika ¦l±ska. Wydział Automatyki, Elektroniki i Informatyki], 2010, s. 197-200, bibliogr. 9 poz.
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


39/93
Nr opisu: 0000062779
Tytuł oryginału: Generacja cykli fundamentalnych metod± dynamicznego budowania drzewa grafu
Autorzy: Andrzej Pułka, Ł. Golly.
¬ródło: -Elektronika 2010 R. 51 nr 12, s. 75-77, bibliogr. 9 poz.
p-ISSN: 0033-2089
Słowa kluczowe polskie: teoria grafów ; teoria obwodów ; analiza symboliczna ; analogowy układ elektroniczny
Słowa kluczowe angielskie: graph theory ; circuit theory ; symbolic analysis ; analog electronic circuit
Typ publikacji: A
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. P.2411
Dostęp on-line:


40/93
Nr opisu: 0000063218
Tytuł oryginału: Hardware model of commonsense reasoning based on fuzzy default logic.
Autorzy: Andrzej Pułka, Adam Milik.
¬ródło: W: 3rd International Conference on Human System Interaction. HSI 2010, Rzeszów, Poland, May 13-15, 2010. Conference proceedings. Piscataway : Institute of Electrical and Electronics Engineers, 2010, s. 34-41, bibliogr. 10 poz.
Słowa kluczowe polskie: wnioskowanie potoczne ; programowalny układ logiczny ; logika niemonotoniczna
Słowa kluczowe angielskie: common-sense reasoning ; programmable logic device ; non-monotonic logic
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


41/93
Nr opisu: 0000063374
Tytuł oryginału: Hardware oriented optimization of Smith-Waterman algorithm.
Autorzy: Adam Milik, Andrzej Pułka.
¬ródło: W: International Conference on Signals and Electronic Systems. ICSES'10, Gliwice, Poland, September 7-10, 2010. Conference proceedings. Ed. Andrzej Pułka, Tomasz Golonek. Gliwice : [Politechnika ¦l±ska. Wydział Automatyki, Elektroniki i Informatyki], 2010, s. 319-322, bibliogr. 9 poz.
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


42/93
Nr opisu: 0000070310
Tytuł oryginału: NALUPES - natural language understanding and processing expert system.
Autorzy: Andrzej Pułka.
¬ródło: W: Expert Systems. Ed. by P. Vizureanu. Vukovar : InTech, 2010, s. 17-34, bibliogr. 30
Typ publikacji: U
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


43/93
Nr opisu: 0000068982
Tytuł oryginału: On efficient implementation of search algorithm for genome patterns.
Autorzy: Adam Milik, Andrzej Pułka.
¬ródło: W: Proceedings of IFAC Workshop on Programmable Devices and Embedded Systems. PDeS 2010, Pszczyna, Poland, 6-8 October 2010. Gliwice : Institute of Electronics, 2010, s. 37-42
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.


44/93
Nr opisu: 0000062782
Tytuł oryginału: Strategia weryfikacji systemu na chipie oparta na mechaniĽmie FDL
Autorzy: Andrzej Pułka.
¬ródło: -Elektronika 2010 R. 51 nr 12, s. 87-90, bibliogr. 13 poz.
p-ISSN: 0033-2089
Słowa kluczowe polskie: weryfikacja formalna ; elektroniczny system wbudowany ; asercja ; SystemVerilog
Słowa kluczowe angielskie: formal verification ; electronic embedded system ; assertion ; SystemVerilog
Typ publikacji: A
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. P.2411
Dostęp on-line:


45/93
Nr opisu: 0000063373
Tytuł oryginału: System on chip verification strategy based on FDL mechanism.
Autorzy: Andrzej Pułka.
¬ródło: W: International Conference on Signals and Electronic Systems. ICSES'10, Gliwice, Poland, September 7-10, 2010. Conference proceedings. Ed. Andrzej Pułka, Tomasz Golonek. Gliwice : [Politechnika ¦l±ska. Wydział Automatyki, Elektroniki i Informatyki], 2010, s. 355-358, bibliogr. 13 poz.
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


46/93
Nr opisu: 0000059032
Tytuł oryginału: A heterogenous approach to symbolic calculations based on structural numbers.
Autorzy: Andrzej Pułka, Ł. Golly.
¬ródło: W: 16th IEEE International Conference on Electronics, Circuits and Systems. ICECS 2009, Yasmine Hammamet, Tunisia, 13-16 December 2009. Piscataway : Institute of Electrical and Electronics Engineers, 2009, s. 163-166, bibliogr. 8 poz.
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.


47/93
Nr opisu: 0000058972
Tytuł oryginału: Decision supporting system based on fuzzy default reasoning.
Autorzy: Andrzej Pułka.
¬ródło: W: 2nd Conference on Human System Interactions. HSI '09, Catania, Italy, 21-23 May 2009. Proceedings. Ed. by L. Lo Bello and G. Iannizzotto. Piscataway : Institute of Electrical and Electronics Engineers, 2009, s. 32-39, bibliogr. 15 poz.
Słowa kluczowe polskie: wnioskowanie potoczne ; logika niemonotoniczna ; programowanie logiczne ; niepewno¶ć
Słowa kluczowe angielskie: common-sense reasoning ; non-monotonic logic ; logic programming ; uncertainty
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


48/93
Nr opisu: 0000059033
Tytuł oryginału: Multithread RISC architecture based on programmable interleaved pipelining.
Autorzy: Andrzej Pułka, Adam Milik.
¬ródło: W: 16th IEEE International Conference on Electronics, Circuits and Systems. ICECS 2009, Yasmine Hammamet, Tunisia, 13-16 December 2009. Piscataway : Institute of Electrical and Electronics Engineers, 2009, s. 647-650, bibliogr. 11 poz.
Słowa kluczowe polskie: mechanizm wielow±tkowo¶ci ; architektura równoległa
Słowa kluczowe angielskie: multithread processing ; parallel architecture
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


49/93
Nr opisu: 0000059332
Tytuł oryginału: Polish speech processing expert system incorporated into the EDA tool.
Autorzy: Piotr Kłosowski, Andrzej Pułka.
¬ródło: W: Human-computer systems interaction. Backgrounds and applications. Eds: Z. S. Hippe, J. L. Kulikowski. Berlin : Springer, 2009, s. 281-293, bibliogr. 17 poz.
Seria: (Advances in Intelligent and Soft Computing ; vol. 60 1867-5662)
DOI:
Typ publikacji: U
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


50/93
Nr opisu: 0000058966
Tytuł oryginału: The idea of time predictable architecture based on programmable interleaved pipelining.
Autorzy: Andrzej Pułka, Adam Milik.
¬ródło: W: Proceedings of the 2009 Conference on Design & Architectures for Signal and Image Processing. DASIP'09, Sophia Antipolis, France, September 22-24, 2009. Eds: M. Mattavelli [et al.]. [B.m.] : [b.w.], 2009, s. 172-179, bibliogr. 15 poz.
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


51/93
Nr opisu: 0000059051
Tytuł oryginału: The reconfigurable hardware accelerator for searching genome patterns.
Autorzy: Adam Milik, Andrzej Pułka.
¬ródło: W: Preprints of IFAC Workshop on Programmable Devices and Embedded Systems. PDES 2009, Roznov pod Radhostem, February 10th - 12th, 2009. Ostrava : [b.w.], 2009, s. 33-38, bibliogr. 8 poz.
Organizator: Department of Measurement and Control. Faculty of Electrical Engineering and Computer Science. VSB - Technical University of Ostrava. Czech Republic
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.


52/93
Nr opisu: 0000050843
Tytuł oryginału: Wielordzeniowa jednostka centralna sterownika logicznego z czasowo-deterministycznym oprogramowaniem
Autorzy: Adam Milik, Andrzej Pułka.
¬ródło: -Pomiary Autom. Kontr. 2009 vol. 55 nr 8, s. 681-683, bibliogr. 6 poz.
p-ISSN: 0032-4140
Słowa kluczowe polskie: sterownik programowalny ; PLC ; maszyna deterministyczna czasowo ; FPGA ; system wieloprocesorowy
Słowa kluczowe angielskie: programmable logic controller ; PLC ; precision timed CPU ; FPGA ; multiprocessor system
Typ publikacji: A
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. P.661
Informacje o dostępie open-access: open-access-licence: OTHER
Dostęp on-line:


53/93
Nr opisu: 0000049103
Tytuł oryginału: A new hardware algorithm for searching genome patterns.
Autorzy: Andrzej Pułka, Adam Milik.
¬ródło: W: International Conference on Signals and Electronic Systems. ICSES'08, Kraków, Poland, September 14-17, 2008. Proceedings. [Kraków] : [Department of Electronics. AGH University of Science and Technology], 2008, s. 181-184, bibliogr. 8 poz.
Organizator: Department of Electronics. AGH University of Science and Technology [et al.]
Słowa kluczowe polskie: programowanie dynamiczne ; biologia obliczeniowa ; wzorzec ; FPGA ; przetwarzanie równoległe
Słowa kluczowe angielskie: dynamic programming ; computational biology ; pattern ; FPGA ; parallel processing
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


54/93
Nr opisu: 0000047965
Tytuł oryginału: Complex mathematical models simulation on mixed HDL-simulink platform.
Autorzy: Adam Milik, Andrzej Pułka.
¬ródło: W: Conference on Human Systems Interactions. HSI 2008, Kraków, Poland, May 25-27, 2008. Piscataway : Institute of Electrical and Electronics Engineers, 2008, s. 380-385, bibliogr. 14 poz.
Słowa kluczowe polskie: system wbudowany ; współprojektowanie oprogramowania i sprzętu ; poziom systemu ; modelowanie ; symulacja
Słowa kluczowe angielskie: embedded system ; Hw/Sw co-design ; system level ; modelling ; simulation
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


55/93
Nr opisu: 0000047899
Tytuł oryginału: Polish semantic speech recognition expert system supporting electronic design system.
Autorzy: Andrzej Pułka, Piotr Kłosowski.
¬ródło: W: Conference on Human Systems Interactions. HSI 2008, Kraków, Poland, May 25-27, 2008. Piscataway : Institute of Electrical and Electronics Engineers, 2008, s. 479-484, bibliogr. 15 poz.
Słowa kluczowe polskie: system ekspertowy ; rozpoznawanie mowy ; rozumienie mowy ; przetwarzanie języka naturalnego ; system projektowania
Słowa kluczowe angielskie: expert system ; speech recognition ; speech understanding ; natural language processing ; design system
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


56/93
Nr opisu: 0000049110
Tytuł oryginału: VEST - an intelligent tool for timing SoCs verification using UML timing diagrams.
Autorzy: Andrzej Pułka, Adam Milik.
¬ródło: W: Forum on Specification, Verification and Design Languages. FDL'08, Stuttgart, Germany, September 23-25, 2008. Picataway : Institute of Electrical and Electronics Engineers, 2008, s. 118-123, bibliogr. 21 poz.
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


57/93
Nr opisu: 0000041678
Tytuł oryginału: A common-sense based approach to the automated test-point selection in fault diagnosis.
Autorzy: Andrzej Pułka, Jerzy** Rutkowski.
¬ródło: W: European Conference on Circuit Theory and Design. ECCTD 2007, Sevilla, Spain, 26-30 August 2007. Piscataway : Institute of Electrical and Electronics Engineers, 2007, s. 838-841, bibliogr. 18 poz.
Organizator: Institute of Electrical and Electronics Engineers
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


58/93
Nr opisu: 0000031867
Tytuł oryginału: A heuristic approach to system-level design problems.
Autorzy: Andrzej Pułka.
¬ródło: W: Mixed design of integrated circuits and systems. MIXDES 2007. Proceedings of the 14th international conference, Ciechocinek, Poland, 21-23 June 2007. Ed. by A. Napieralski. [ŁódĽ] : [Politechnika Łódzka. Wydział Elektrotechniki i Elektroniki. Katedra Mikroelektroniki i Technik Informatycznych], 2007, s. 189-194, bibliogr. 24 poz.
Organizator: Department of Microelectronics and Computer Science. Technical University of ŁódĽ. Poland [et al.]
Słowa kluczowe polskie: projektowanie na poziomie systemowym ; SystemC ; modelowanie na poziomie transakcji ; ponowne wykorzystanie projektu
Słowa kluczowe angielskie: system-level design ; SystemC ; transaction level modelling ; design reuse
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


59/93
Nr opisu: 0000040360
Tytuł oryginału: A heuristic fault dictionary reduction methodology.
Autorzy: Andrzej Pułka.
¬ródło: W: 14th IEEE International Conference on Electronics, Circuits and Systems. ICECS 2007, Marrakech, Morocco, December 11-14, 2007. Piscataway : Institute of Electrical and Electronics Engineers, 2007, s. 1115-1118, bibliogr. 20 poz.
Słowa kluczowe polskie: układ analogowy ; niezawodno¶ć obwodu ; diagnostyka uszkodzeń
Słowa kluczowe angielskie: analogue circuit ; circuit reliability ; fault diagnosis
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


60/93
Nr opisu: 0000083922
Tytuł oryginału: Common HDL-Matlab simulation environment.
Autorzy: Adam Milik, Andrzej Pułka.
¬ródło: W: Forum on Specification and Design Languages. FDL'07, Barcelona, Spain, September 18-20, 2007. [B.m.] : [b.w.], 2007, s. 68-73, bibliogr. 20 poz.
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.


61/93
Nr opisu: 0000040683
Tytuł oryginału: Podstawy projektowania układów logicznych i komputerów. Z jęz. ang. przeł. Andrzej Pułka.
Tytuł w wersji angielskiej: Logic and computer design fundamentals
Autorzy: M. M. Mano, Ch. R. Kime.
Adres wydawniczy: Warszawa : Wydaw. Naukowo-Techniczne, 2007
Opis fizyczny: , 752 s., bibliogr.
Typ publikacji: T
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.


62/93
Nr opisu: 0000017971
Tytuł oryginału: Automated selection of embedded functions for SoC models based on IPs library.
Autorzy: Andrzej Pułka.
¬ródło: W: Proceedings of IFAC Workshop on Programmable Devices and Embedded Systems. PDeS 2006, Brno, February 14th - 16th, 2006. [Brno] : [Brno University of Technology], [2006], s. 389-394, bibliogr. 23 poz.
Organizator: Department of Control and Instrumentation. Faculty of Electrical Engineering and Commmunication. Brno University of Technology. Czech Republic [et al.]
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.


63/93
Nr opisu: 0000031525
Tytuł oryginału: Modeling and simulation of communications issues of DSPs in electronic embedded systems.
Autorzy: Andrzej Pułka.
¬ródło: W: International Conference on Signals and Electronic Systems. ICSES'06, ŁódĽ, Poland, September 17-20, 2006. Conference proceedings. Institute of Circuit Theory, Metrology and Materials Science of the Technical Unifersity of ŁódĽ, Poland [et al.]. [ŁódĽ] : [Instytut Elektrotechniki Teoretycznej, Metrologii i Materiałoznawstwa Politechniki Łódzkiej], [2006], s. 523-526
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.


64/93
Nr opisu: 0000031527
Tytuł oryginału: SystemC models generation based on libraries of templates.
Autorzy: Andrzej Pułka.
¬ródło: W: 2006 IEEE International Symposium on Circuits and Systems. ISCAS 2006, Island of Kos, May 21-24, 2006. Proceedings. Piscataway : Institute of Electrical and Electronics Engineers, 2006, s. 2693-2696, bibliogr. 17 poz.
ISBN: 0-7803-9389-9
DOI:
Słowa kluczowe polskie: sterowanie automatyczne ; elektronika użytkowa ; sprzęt elektroniczny ; poczta elektroniczna ; system wbudowany ; silnik ; biblioteka ; modelowanie zorientowane obiektowo ; projektowanie na poziomie systemowym
Słowa kluczowe angielskie: automatic control ; consumer electronics ; electrical equipment ; electronic mail ; embedded system ; engine ; library ; object oriented modelling ; system-level design
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


65/93
Nr opisu: 0000087166
Tytuł oryginału: Język VHDL. Projektowanie programowalnych układów logicznych. Z ang. przeł. Andrzej Kazimierz Pułka. Wyd. 2
Autorzy: K. Skahill.
Adres wydawniczy: Warszawa : Wydaw. Naukowo-Techniczne, 2004
Opis fizyczny: , 640 s., bibliogr.
Słowa kluczowe polskie: VHDL ; układ logiki programowalnej ; projektowanie wspomagane komputerowo
Słowa kluczowe angielskie: VHDL ; programmable logic device ; computer aided design
Typ publikacji: T
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l.


66/93
Nr opisu: 0000014654
Tytuł oryginału: Proceedings of IFAC Workshop on Programmable Devices and Systems. PDS 2004, Cracow, November 18th-19th, 2004. Eds: A. Pułka, E. Hrynkiewicz, P. Kłosowski.
Adres wydawniczy: [Gliwice] : [Instytut Elektroniki. Wydział Automatyki, Elektroniki i Informatyki Politechniki ¦l±skiej], [2004]
Typ publikacji: RED
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. Cz.01 111563


67/93
Nr opisu: 0000010642
Tytuł oryginału: Transaction level models analyzer in PROLOG.
Autorzy: Andrzej Pułka.
¬ródło: W: Proceedings of IFAC Workshop on Programmable Devices and Systems. PDS 2004, Cracow, November 18th -19th, 2004. [Gliwice] : [Instytut Elektroniki. Wydział Automatyki, Elektroniki i Informatyki Politechniki ¦l±skiej], [2004], s. 278-283, bibliogr. 18 poz.
ISBN: 83-908409-8-7
Organizator: Institute of Electronics. Faculty of Automatic Control, Electronics and Computer Science. Silesian University of Technology. Gliwice [i in.]
Słowa kluczowe polskie: system wbudowany ; VLSI ; system ; projektowanie ; sprzęt komputerowy ; dekompozycja ; podzespół ; optymalizacja
Słowa kluczowe angielskie: embedded system ; VLSI ; system ; designing ; hardware ; decomposition ; component ; optimization
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. 111563


68/93
Nr opisu: 0000018251
Tytuł oryginału: Methodology for generation of behavioural models in VHDL-AMS.
Autorzy: Andrzej Pułka, R. Nadobny.
¬ródło: W: Mixed design of integrated circuits and systems. MIXDES 2003. Proceedings of the 10th international conference, ŁódĽ, Poland, 26-28 June 2003. Ed. A. Napieralski. ŁódĽ : [b.w.], 2003, s. 433-436
Organizator: Department of Microelectronics and Computer Science. Technical University of Lodz, Poland
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.


69/93
Nr opisu: 0000087593
Tytuł oryginału: BDD based methodology for VHDL code minimization.
Tytuł w wersji polskiej: Minimalizacja kodu VHDL oparta na binarnych diagramach decyzyjnych
Autorzy: Andrzej Pułka.
¬ródło: W: Proceedings of the International Conference on Signals and Electronic Systems. ICSES'2002, Wrocław-¦wieradów Zdrój, Poland, 24-27 September 2002. Wrocław : Wrocławskie Towarzystwo Naukowe, 2002, s. 169-174
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.


70/93
Nr opisu: 0000087601
Tytuł oryginału: Efficient modeling of analog and mixed A/D systems via piece-wise linear technique.
Tytuł w wersji polskiej: Efektywne modelowanie systemów analogowych i mieszanych analogowo-cyfrowych metod± linearyzacji odcinkowej
Autorzy: Jerzy** D±browski, Andrzej Pułka.
¬ródło: W: Electronic chips & systems design languages. Ed. J. Mermet. Boston : Kluwer Acadmic Publisher, 2001, s. 43-54, bibliogr. 15 poz.
DOI:
Typ publikacji: U
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.


71/93
Nr opisu: 0000087167
Tytuł oryginału: Język VHDL b. Projektowanie programowalnych układów logicznych. Z ang. przeł. Andrzej Kazimierz Pułka.
Autorzy: K. Skahill.
Adres wydawniczy: Warszawa : Wydaw. Naukowo-Techniczne, 2001
Opis fizyczny: , 640 s., bibliogr.
Typ publikacji: T
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l.


72/93
Nr opisu: 0000087605
Tytuł oryginału: Modeling Assistant - a flexible VCM generator in VHDL.
Tytuł w wersji polskiej: Modelling Assistant - wydajny generator modeli wirtualnych w języku VHDL
Autorzy: Andrzej Pułka.
¬ródło: W: Virtual components design and reuse. Ed. Ralf Seepold, Natividad Martinez. Dordrecht : Kluwer Academic Publisher, 2001, s. 171-182
Typ publikacji: U
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.


73/93
Nr opisu: 0000003101
Tytuł oryginału: Some problems of reuse of analog VHDL models based on PWL technique.
Autorzy: Andrzej Pułka.
¬ródło: W: Proceedings of the International Conference on Signals and Electronic Systems. ICSES '2000, Ustroń, Poland, 17-20 October 2000. [Gliwice] : [Institute of Electronics Silesian University of Technology], [2000], s. 415-420, bibliogr. 7 poz.
Typ publikacji: RK
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. Cz.01 106346


74/93
Nr opisu: 0000087615
Tytuł oryginału: Automated generation of flexible and resable virtual component models in VHDL.
Tytuł w wersji polskiej: Automatyczna generacja elastycznych i łatwo powtarzalnych wirtualnych komponentów w języku VHDL
Autorzy: Andrzej Pułka.
¬ródło: W: Second International Forum on Design Languages. FDL'99, Lyon, France, 22-24.09.1999. Proceedings. [Lyon] : SIG-VHDL & ECSI, 1999, s. 423-432
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.


75/93
Nr opisu: 0000087613
Tytuł oryginału: Experiences with modeling analog and mixed A/D systems based on PWL technique.
Tytuł w wersji polskiej: Do¶wiadczenia z modelowaniem systemów analogowych i mieszanych analogowo-cyfrowych w technice linearyzacji odcinkowej
Autorzy: Jerzy** D±browski, Andrzej Pułka.
¬ródło: W: Design, automation and test in Europe. DATE, Munich, Germany, March 9-12,1999. Proceedings. Eds: D. Borrione, R. Ernst. Los Alamitos : IEEE Computer Society, 1999, s. 790-791
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.


76/93
Nr opisu: 0000087633
Tytuł oryginału: Discrete approach to PWL analog modeling in VHDL environment
Tytuł w wersji polskiej: Dyskretna metoda modelowania układów analogowych technik± linearyzacji odcinkowo-liniowej w ¶rodowisku języka VHDL
Autorzy: Jerzy** D±browski, Andrzej Pułka.
¬ródło: -Analog Integr. Circuits Signal Process. 1998 vol. 16 iss. 2, s. 91-99, bibliogr. 12 poz.
p-ISSN: 0925-1030
e-ISSN: 1573-1979
DOI:
Słowa kluczowe polskie: modelowanie odcinkowo-liniowe ; modelowanie analogowe A/C ; modelowanie sygnałów mieszanych ; modelowanie analogowe na poziomie funkcjonalnym ; modelowanie analogowe VHDL
Słowa kluczowe angielskie: PWL modeling ; analog A/D modeling ; mixed signal modeling ; mixed A/D simulation ; functional-level analog modeling ; VHDL analog modeling
Typ publikacji: A
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Dostęp on-line:


77/93
Nr opisu: 0000087630
Tytuł oryginału: Efficient modeling of analog and mixed A/D systems via piece-wise linear technique.
Tytuł w wersji polskiej: Wydajne modelowanie systemów analogowych i mieszanych technik± linearyzacji odcinkowej
Autorzy: Jerzy** D±browski, Andrzej Pułka.
¬ródło: W: First International Forum on Design Languages. FDL'98, Lausanne, Switzerland, September 6-11, 1998. Vol. 1. Lausanne : Integrated Systems Center of the Swiss Federal Institute of Technology, 1998, s. 295-304
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.


78/93
Nr opisu: 0000087618
Tytuł oryginału: Generation of VHDL models of complex digital structures based on a standard components generator.
Tytuł w wersji polskiej: Generacja modeli VHDL złożonych struktur cyfrowych oparta na generatorze komponentów standardowych
Autorzy: Andrzej Pułka.
¬ródło: W: Proceedings of the XXIst National Conference on Circuit Theory and Electronic Networks, Poznań-Kiekrz, October 22-24, 1998. Vol. 2/2. Poznań University of Technology. Department of Electrical Engineering, Institute of Electronics and Telecomunications. Division for Electronic Systems and Signal Processing. Poznań : Poznań University of Technology, 1998, s. 593-598
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.


79/93
Nr opisu: 0000087621
Tytuł oryginału: Network designing with programmable analog devices.
Tytuł w wersji polskiej: Projektowanie obwodów w programowanych strukturach analogowych
Autorzy: Jerzy** D±browski, Andrzej Pułka.
¬ródło: W: Proceedings of the XXIst National Conference on Circuit Theory and Electronic Networks, Poznań-Kiekrz, October 22-24, 1998. Vol. 1/2. Poznań University of Technology. Department of Electrical Engineering, Institute of Electronics and Telecomunications. Division for Electronic Systems and Signal Processing. Poznań : Poznań University of Technology, 1998, s. 149-154
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.


80/93
Nr opisu: 0000087165
Tytuł oryginału: A technique for generation of VITAL models handling incomplete information.
Tytuł w wersji polskiej: Techniki generacji modeli zgodnych ze standardem VITAL oparte na przetwarzaniu niepełnej informacji
Autorzy: Andrzej Pułka, Adam* Pawlak.
¬ródło: W: Beyond 2000. Hardware/software design strategies. Proceedings of the 22nd Euromicro Conference, Prague, Czech Republic, September 2-5, 1996. Short contributions. European Association for Microprocessing and Microprogramming. Los Alamitos : IEEE Computer Society Press, 1997, s. 132-137
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.


81/93
Nr opisu: 0000038000
Tytuł oryginału: Automatyczna generacja modeli elektronicznych cyfrowych układów scalonych w języku VHDL przy niepełnej informacji projektowej o modelowanym obiekcie. Rozprawa doktorska.
Autorzy: Andrzej Pułka.
Miejsce i rok obrony: Gliwice, 1997
Opis fizyczny: , 153 s., bibliogr. 86 poz.
Uczelnia i wydział: Politechnika ¦l±ska. Wydział Automatyki, Elektroniki i Informatyki.
Promotor: dr hab. inż. Jan** Chojcan
Typ publikacji: D
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. Cz.Ab. R-3115
Dostęp BCP¦:


82/93
Nr opisu: 0000087636
Tytuł oryginału: Experiences with VITAL code generator controlled by a nonmonotonic inference engine.
Tytuł w wersji polskiej: Do¶wiadczenia z generatorem kodu VITAL sterowanym niemonotonicznym mechanizmem wnioskowania
Autorzy: Andrzej Pułka, Adam* Pawlak.
¬ródło: W: 2nd Workshop on Libraries, Component, Modeling, and Quality Assurance, Toledo, Spain, April 20-25, 1997. Proceedings. Santander : Publication Service of the University of Cantabria, 1997, s. 309-320
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.


83/93
Nr opisu: 0000087640
Tytuł oryginału: Optimization of functional modelling in VHDL based on AI tools.
Tytuł w wersji polskiej: Optymalizacja modelowania funkcjonalnego w języku VHDL oparta na narzędziach sztucznej inteligencji
Autorzy: Andrzej Pułka.
¬ródło: W: Circuit theory and electronics circuits. Proceedings of the XIXth national conference, Kraków-Krynica, October 23rd-26th, 1996. Vol. 2. Eds: A. D±browski, M. Ogorzałek. University of Mining and Metallurgy. Department of Electrical Engineering. Kraków : UMM DEE, 1996, s. 613-618
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.


84/93
Nr opisu: 0000087955
Tytuł oryginału: PWL-based A/D networks macromodeling in discrete VHDL environment.
Tytuł w wersji polskiej: Makromodelowanie obwodów analogowo-cyfrowych oparte na technice linearyzacji odcinkowo-liniowej w dyskretnym ¶rodowisku języka VHDL
Autorzy: Jerzy** D±browski, Andrzej Pułka.
¬ródło: W: Circuit theory and electronics circuits. Proceedings of the XIXth national conference, Kraków-Krynica, October 23rd-26th, 1996. Vol. 1. Eds: A. D±browski, M. Ogorzałek. University of Mining and Metallurgy. Department of Electrical Engineering. Kraków : UMM DEE, 1996, s. 221-226
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.


85/93
Nr opisu: 0000034734
Tytuł oryginału: A nonmonotonic generator of VHDL models satisfying vital requirements.
Autorzy: Andrzej Pułka.
¬ródło: W: Workshop on Design Methodologies for Microelectronics, Smolenice, Slovakia, September 11-13, 1995 with Special Day on Co-operation, Smolenice, Slovakia, September 14, 1995 and Vienna Industrial Day, Vienna, Austria, September 15, 1995. [Proceedings]. Bratislava : Institute of Computer Systems Slovak Academy of Sciences, 1995, s. 142-143, bibliogr. 7 poz.
Organizator: Institute of Computer Systems Slovak Academy of Sciences [et al.]
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. MgCzO 77584


86/93
Nr opisu: 0000037037
Tytuł oryginału: Modelling microcontrollers with VHDL language.
Autorzy: M. Jaklewicz, Andrzej Pułka, Józef Kulisz, Wojciech* Sakowski, Benedykt* Nowak.
¬ródło: W: Programmable devices and systems. PDS'95. International conference, Gliwice, Poland, 9-10.11.95. Conference proceedings. [B.m.] : [b.w.], 1995, s. 95-102, bibliogr. 6 poz.
Organizator: Institute of Electronics. Silesian Technical University of Gliwice, Polish Section IEEE
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. MgCzO 103530


87/93
Nr opisu: 0000088084
Tytuł oryginału: A PROLOG generator of VHDL models satisfying VITAL requirements.
Autorzy: Andrzej Pułka.
¬ródło: W: Circuit theory and electronic networks. XVII National conference, Wrocław, Polanica Zdrój, September 19-21, 1994. Vol. 2. Ed. by Włodzimierz Wolski. Wrocław : Oficyna Wydaw. Politechniki Wrocławskiej, 1994, s. 495-500, bibliogr. 8 poz.
Seria: (Prace Naukowe Instytutu Telekomunikacji i Akustyki Politechniki Wrocławskiej ; nr 79 Seria: Konferencje ; nr 25 0324-9344)
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. P.3967


88/93
Nr opisu: 0000088363
Tytuł oryginału: Generation of VHDL models aided by artificial intelligence.
Autorzy: Andrzej Pułka.
¬ródło: W: Circuit theory and electronic circuits. Proceedings of the XVI-th national conference, Kołobrzeg, October 26-28, 1993. Vol. 2. Institute of Electronics. Technical University of Koszalin. Koszalin : Institute of Electronics. Technical University of Koszalin, 1993, s. 569-575, bibliogr. 9 poz.
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.


89/93
Nr opisu: 0000046067
Tytuł oryginału: VHDL models generation with PROLOG in the absence of complete information.
Autorzy: Andrzej Pułka.
¬ródło: W: Workshop on Design Methodologies for Microelectronics and Signal Processing, Gliwice - Cracow, Poland, 20-23 October 1993. Proceedings. Silesian Technical University, Gliwice. Department of Automatic Control, Electronics and Computer Science. Gliwice : Institute of Electronics. Silesian Technical University, 1993, s. 301-305, bibliogr. 9 poz.
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. MgCzO 99073


90/93
Nr opisu: 0000088051
Tytuł oryginału: Automated design with prolog in the absence of complete information.
Autorzy: Tadeusz** Grabowiecki, Andrzej Pułka.
¬ródło: W: Circuit theory and electronic circuits. Proceedings of the XV-th national conference, Szczyrk, October 20-23, 1992. Vol. 2. Institute of Electronics Fundamentals Warsaw University of Technology. Warszawa : Warsaw University of Technology Publications, 1992, s. 514-519, bibliogr. 7 poz.
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.
Lokalizacja ¬ródła: P¦l. sygn. Mg 99182


91/93
Nr opisu: 0000088054
Tytuł oryginału: DC-EXPERT an expert system for problem solving in circuit theory.
Tytuł w wersji polskiej: System ekspertowy DC-EXPERT do rozwi±zywania zadań z zakresu teorii obwodów
Autorzy: Andrzej Pułka.
¬ródło: W: Teoria obwodów i układy elektroniczne. XIV Krajowa konferencja, Waplewo, Polska, 23-25.X.1991. Vol. 2. Warszawa : Politechnika Warszawska, 1991, s. 550-555
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.


92/93
Nr opisu: 0000088373
Tytuł oryginału: DC-EXPERT: an expert system for problem solving in circuit theory.
Autorzy: Tadeusz** Grabowiecki, M. Grzesik, Benedykt* Nowak, Andrzej Pułka.
¬ródło: W: Circuit theory and electronic circuits. XIV national conference, Waplewo, 23-25.10.1991. Vol. 2. Institute of Electronics Fundamentals. Warsaw University of Technology. [B.m.] : [b.w.], 1991, s. 550-555, bibliogr. 5 poz.
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w P¦l.


93/93
Nr opisu: 0000062190
Tytuł oryginału: Non-monotonic reasoning in digital circuit design.
Autorzy: Tadeusz** Grabowiecki, Andrzej Pułka.
¬ródło: W: CAD Systems Using AI Techniques. Proceedings of the IFIP TC 10/WG 10.2. Working Conference on the CAD Systems Using AI Techniques, Tokyo, Japan, June 6-7, 1989. Participants edition. Ed. G. Odawara.. Tokyo, 1989, s. 71-78, bibliogr. 9 poz.
Organizator: Committee of CAD Systems Using AI Techniques
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w P¦l.


stosuj±c format:
Nowe wyszukiwanie