Preskoči na sadržaj
Korištenjem servisa na Twitteru pristajete na korištenje kolačića. Twitter i partneri rade globalno te koriste kolačiće za analize, personalizaciju i oglase.

Za najbolje sučelje na Twitteru koristite Microsoft Edge ili instalirajte aplikaciju Twitter iz trgovine Microsoft Store.

  • Naslovnica Naslovnica Naslovnica, trenutna stranica.
  • O Twitteru

Spremljena pretraživanja

  • obriši
  • U ovom razgovoru
    Ovjeren akauntZaštićeni tweetovi @
Predloženi korisnici
  • Ovjeren akauntZaštićeni tweetovi @
  • Ovjeren akauntZaštićeni tweetovi @
  • Jezik: Hrvatski
    • Bahasa Indonesia
    • Bahasa Melayu
    • Català
    • Čeština
    • Dansk
    • Deutsch
    • English
    • English UK
    • Español
    • Filipino
    • Français
    • Italiano
    • Magyar
    • Nederlands
    • Norsk
    • Polski
    • Português
    • Română
    • Slovenčina
    • Suomi
    • Svenska
    • Tiếng Việt
    • Türkçe
    • Български език
    • Русский
    • Српски
    • Українська мова
    • Ελληνικά
    • עִבְרִית
    • العربية
    • فارسی
    • मराठी
    • हिन्दी
    • বাংলা
    • ગુજરાતી
    • தமிழ்
    • ಕನ್ನಡ
    • ภาษาไทย
    • 한국어
    • 日本語
    • 简体中文
    • 繁體中文
  • Imate račun? Prijava
    Imate račun?
    · Zaboravili ste lozinku?

    Novi ste na Twitteru?
    Registrirajte se
Profil korisnika/ce cgvwzq
Pepe Vila
Pepe Vila
Pepe Vila
@cgvwzq

Tweets

Pepe Vila

@cgvwzq

observer. my opinions are not mine.

Madrid, Spain
vwzq.net
Vrijeme pridruživanja: siječanj 2010.

Tweets

  • © 2020 Twitter
  • O Twitteru
  • Centar za pomoć
  • Uvjeti
  • Pravila o privatnosti
  • Imprint
  • Kolačići
  • Informacije o oglasima
Odbaci
Prethodni
Sljedeće

Idite na profil osobe

Spremljena pretraživanja

  • obriši
  • U ovom razgovoru
    Ovjeren akauntZaštićeni tweetovi @
Predloženi korisnici
  • Ovjeren akauntZaštićeni tweetovi @
  • Ovjeren akauntZaštićeni tweetovi @

Odjava

Blokiraj

  • Objavi Tweet s lokacijom

    U tweetove putem weba ili aplikacija drugih proizvođača možete dodati podatke o lokaciji, kao što su grad ili točna lokacija. Povijest lokacija tweetova uvijek možete izbrisati. Saznajte više

    Vaši popisi

    Izradi novi popis


    Manje od 100 znakova, neobavezno

    Privatnost

    Kopiraj vezu u tweet

    Ugradi ovaj Tweet

    Embed this Video

    Dodajte ovaj Tweet na svoje web-mjesto kopiranjem koda u nastavku. Saznajte više

    Dodajte ovaj videozapis na svoje web-mjesto kopiranjem koda u nastavku. Saznajte više

    Hm, došlo je do problema prilikom povezivanja s poslužiteljem.

    Integracijom Twitterova sadržaja u svoje web-mjesto ili aplikaciju prihvaćate Twitterov Ugovor za programere i Pravila za programere.

    Pregled

    Razlog prikaza oglasa

    Prijavi se na Twitter

    · Zaboravili ste lozinku?
    Nemate račun? Registrirajte se »

    Prijavite se na Twitter

    Niste na Twitteru? Registrirajte se, uključite se u stvari koje vas zanimaju, i dobivajte promjene čim se dogode.

    Registrirajte se
    Imate račun? Prijava »

    Dvosmjerni (slanje i primanje) kratki kodovi:

    Država Kod Samo za korisnike
    Sjedinjene Američke Države 40404 (bilo koje)
    Kanada 21212 (bilo koje)
    Ujedinjeno Kraljevstvo 86444 Vodafone, Orange, 3, O2
    Brazil 40404 Nextel, TIM
    Haiti 40404 Digicel, Voila
    Irska 51210 Vodafone, O2
    Indija 53000 Bharti Airtel, Videocon, Reliance
    Indonezija 89887 AXIS, 3, Telkomsel, Indosat, XL Axiata
    Italija 4880804 Wind
    3424486444 Vodafone
    » Pogledajte SMS kratke šifre za druge zemlje

    Potvrda

     

    Dobro došli kući!

    Vremenska crta mjesto je na kojem ćete provesti najviše vremena i bez odgode dobivati novosti o svemu što vam je važno.

    Tweetovi vam ne valjaju?

    Prijeđite pokazivačem preko slike profila pa kliknite gumb Pratim da biste prestali pratiti neki račun.

    Kažite mnogo uz malo riječi

    Kada vidite Tweet koji volite, dodirnite srce – to osobi koja ga je napisala daje do znanja da vam se sviđa.

    Proširite glas

    Najbolji je način da podijelite nečiji Tweet s osobama koje vas prate prosljeđivanje. Dodirnite ikonu da biste smjesta poslali.

    Pridruži se razgovoru

    Pomoću odgovora dodajte sve što mislite o nekom tweetu. Pronađite temu koja vam je važna i uključite se.

    Saznajte najnovije vijesti

    Bez odgode pogledajte o čemu ljudi razgovaraju.

    Pratite više onoga što vam se sviđa

    Pratite više računa da biste dobivali novosti o temama do kojih vam je stalo.

    Saznajte što se događa

    Bez odgode pogledajte najnovije razgovore o bilo kojoj temi.

    Ne propustite nijedan aktualni događaj

    Bez odgode pratite kako se razvijaju događaji koje pratite.

    1. Pepe Vila‏ @cgvwzq 22. sij
      • Prijavi Tweet

      Dana Angluin propuso, en 1987, su famoso algoritmo L* para aprendizaje de lenguajes regulares. L* nos permite aprender cualquier automata finito determinista (DFA), o cualquier lenguaje regular, con coste polinomico en el numero de estados final, utilizando tan solo...

      1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
      Prikaži ovu nit
    2. Pepe Vila‏ @cgvwzq 22. sij
      • Prijavi Tweet

      ...preguntas de "inclusion" (esta la palabra en el lenguaje) y preguntas de equivalencia (acepta el automata el lenguaje deseado). Existen librerias como LearnLib, que implementan no solo L* sino multiples extensiones, incluyendo una para aprendizaje de maquinas Mealy.

      1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
      Prikaži ovu nit
    3. Pepe Vila‏ @cgvwzq 22. sij
      • Prijavi Tweet

      Suficiente contexto. Nuestra primera contribucion ha sido CacheQuery (https://github.com/cgvwzq/cachequery …) una interfaz, libre de ruido e interferencias, para interactuar con cualquier conjunto de la jerarquia de caches de la CPU.

      1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
      Prikaži ovu nit
    4. Pepe Vila‏ @cgvwzq 22. sij
      • Prijavi Tweet

      CacheQuery nos permite especificar cualquier secuencia de bloques (e.g. "a b c a"), selecciona las direcciones de memoria necesarias, genera el codigo x86 para la evaluacion, y nos devuelve una secuencia de aciertos y fallos (e.g. "miss miss miss hit").

      1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
      Prikaži ovu nit
    5. Pepe Vila‏ @cgvwzq 22. sij
      • Prijavi Tweet

      Sin embargo, intentar aprender el automata de una cache directamente es muy ineficiente, ya que la maquina de estados es enorme. Nuestra segunda contribucion trata de mitigar este problema, y para ello explotamos algunas simetrias presentes en las caches, por ejemplo...

      1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
      Prikaži ovu nit
    6. Pepe Vila‏ @cgvwzq 22. sij
      • Prijavi Tweet

      ..."a b c a" produce la misma salida que "c b a c". Con esto en mente proponemos Polca, un algoritmo que nos permite interactuar con un automata abstracto, que contiene tan solo el comportamiento esencial de la politica de reemplazamiento, a traves de preguntas a una cache real.pic.twitter.com/0twXPP2FRK

      1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
      Prikaži ovu nit
    7. Pepe Vila‏ @cgvwzq 22. sij
      • Prijavi Tweet

      Con Polca, somos capaces de conectar LearnLib y CacheQuery para aprender el automata de cualquier politica de reemplazamiento determinista en una CPU. De hecho, hemos sido capaces de descubrir 2 politicas previamente no documentadas usadas en procesadores Skylake y Kaby Lake! :Dpic.twitter.com/dlNORlgZZh

      1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
      Prikaži ovu nit
    8. Pepe Vila‏ @cgvwzq 22. sij
      • Prijavi Tweet

      El ultimo problema que tenemos, es que el automata aprendido es generalmente demasiado complejo para ser interpretado por un humano :(

      1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
      Prikaži ovu nit
    9. Pepe Vila‏ @cgvwzq 22. sij
      • Prijavi Tweet

      Nuestra tercera contribucion consiste en crear una "plantilla" de un programa que implementa polticas de reemplazamiento con varios "huecos", es decir, dejamos partes del programa como valores o expresiones a medio especificar.

      1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
      Prikaži ovu nit
    10. Pepe Vila‏ @cgvwzq 22. sij
      • Prijavi Tweet

      Sketch, una herramienta de sintesis de codigo, recibe la plantilla junto con varias restricciones extraidas del automata, y rellena todos los huecos sintetizando un programa que implementa exactamente la misma logica que nuestro automata, pero que es interpretable por un humano.

      1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
      Prikaži ovu nit
      Pepe Vila‏ @cgvwzq 22. sij
      • Prijavi Tweet

      Podeis encontrar nuestra herramienta usando LearnLib y Polca, ademas de las plantillas y las soluciones sintetizadas en https://github.com/cgvwzq/polca  :)

      14:39 - 22. sij 2020.
      • 2 proslijeđena tweeta
      • 1 oznaka „sviđa mi se”
      • Troyano Nox
      1 reply 2 proslijeđena tweeta 1 korisnik označava da mu se sviđa
        1. Pepe Vila‏ @cgvwzq 22. sij
          • Prijavi Tweet

          Ah, y para los interesados, aqui el paper original en ingles: https://vwzq.net/papers/cachequery19.pdf …

          0 replies 2 proslijeđena tweeta 7 korisnika označava da im se sviđa
          Prikaži ovu nit
          Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. Poništi
          Poništi

      Čini se da učitavanje traje već neko vrijeme.

      Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

        Sponzorirani tweet

        false

        • © 2020 Twitter
        • O Twitteru
        • Centar za pomoć
        • Uvjeti
        • Pravila o privatnosti
        • Imprint
        • Kolačići
        • Informacije o oglasima