Wynik wyszukiwania
Zapytanie: 3-SAT PROBLEM
Liczba odnalezionych rekordów: 1



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/1
Nr opisu: 0000089713
Tytuł oryginału: Rozwiązanie problemu trójspełnialności formuł logicznych z użyciem architektury CUDA
Tytuł w wersji angielskiej: Solving the 3-satisfiability problem using CUDA architecture
Autorzy: Jacek Widuch, R. Krawczyk.
Źródło: -Stud. Informat. 2013 vol. 34 nr 4, s. 23-43, bibliogr. 25 poz.
Punktacja MNiSW: 9.000
p-ISSN: 1642-0489
Słowa kluczowe polskie: GPGPU ; CUDA ; wielowątkowość ; model SIMD ; problem 3-SAT
Słowa kluczowe angielskie: GPGPU ; CUDA ; multithreading ; SIMD model ; 3-SAT problem
Typ publikacji: A
Język publikacji: POL
Zasieg terytorialny: K
Afiliacja: praca afiliowana w PŚl.
Lokalizacja Źródła: PŚl. sygn. P.4193
Informacje o dostępie open-access: open-access-licence: OTHER
Dostęp on-line:


stosując format:
Nowe wyszukiwanie