Timeline
Not logged in

50 most recent timeline items

2018-12-28 15:49 • Add attachment 2015_06_xx_microchip_com_Attack_Methods_to_Steal_Digital_Secrets_by_Kerry_Maletsky_keywords_Atmel_crypto_hardware_chip_reverse_engineering.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-12-28 15:45 • Add attachment archive_is_cDcWb_Эльбрус_Elbrus_CPU_architecture_keywords_hardware.zip to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-12-26 10:27 • Add attachment 2008_xx_xx_Register_Allocation_by_Puzzle_Solving_by_Fernando_Magno_Quintao_Pereira.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-12-09 09:41 • Changes to wiki page References (user: martin_vahi) [details]
2018-12-09 08:27 • Changes to wiki page References (user: martin_vahi) [details]
2018-12-08 13:39 • Add attachment EXPERIENCE_WITH_DISTRIBUTED_PROGRAMMING_IN_ORCA_Henri_E_Bal_and__M_Frans_Kaashoek_and_Andrew_S_Tanenbaum.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-12-08 13:10 • Add attachment CS5314_RESEARCH_PAPER_ON_PROGRAMMING_LANGUAGES_ORCA_LANGUAGE.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-12-08 13:09 • Add attachment ORCA_A_LANGUAGE_FOR_DISTRIBUTED_PROGRAMMING_by_Henri_E_Bal_and_Andrew_S_Tanenbaum_and_M_Frans_Kaashoek.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-12-08 12:49 • Add attachment ORCA_A_LANGUAGE_FOR_DISTRIBUTED_PROGRAMMING_by_Henri_E_Bal_and_Andrew_S_Tanenbaum_and_M_Frans_Kaashoek.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-12-08 12:46 • Add attachment ORCA_A_LANGUAGE_FOR_DISTRIBUTED_PROGRAMMING_by_Henri_E_Bal_and_Andrew_S_Tanenbaum_and_M_Frans_Kaashoek.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-11-30 22:11 • Add attachment 1996_05_29_A_Fast_Quantum_Mechanical_Algorithm_for_Database_Search_by_Lov_K_Grover.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-11-30 22:11 • Add attachment 1995_08_30_PolynomialTime_Algorithms_for_Prime_Factorization_and_Discrete_Logarithms_on_a_Quantum_Computer_Peter_W_Shor.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-08-31 19:15 • Add attachment 2002_2003_Martin_Vahi_kodut66_trigerite_teemal_keywords_flipflop_trigger_digital_logic_RS_data_CPU_summaator_sum_binary_addition_pooldekooder_register_MUX.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-08-27 10:47 • Changes to wiki page References (user: martin_vahi) [details]
2018-08-27 10:44 • Add attachment GPUDet_A_Deterministic_GPU_Architecture_by_Hadi_Jooybar_and_Wilson_W_L_Fung_and_Mike_O_Connor_and_Joseph_Devietti_and_Tor_M_Aamodt.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-08-27 10:31 • Changes to wiki page References (user: martin_vahi) [details]
2018-08-27 10:30 • Add attachment QbeYs.zip to wiki page References (user: martin_vahi) [details]
2018-08-27 10:27 • Changes to wiki page References (user: martin_vahi) [details]
2018-08-27 10:03 • Add attachment ANUBIS_A_New_Benchmark_for_Incremental_Synthesis_by_Rafael_T_Possignolo_and_Nursultan_Kabylkas_and_Jose_Renau.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-08-16 09:30 • Add attachment 1997_12_15_NASA_TECHNICAL_STANDARD_SOLDERED_ELECTRICAL_CONNECTIONS_NASA-STD-8739.3.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-08-15 17:49 • Add attachment 2011_xx_xx_Leros_A_Tiny_Microcontroller_for_FPGAs_by_Martin_Schoeberl.pdf to wiki page Reference: Leros MCU for FPGAs (user: martin_vahi) [details]
2018-08-15 17:46 • Changes to wiki page Reference: Leros MCU for FPGAs (user: martin_vahi) [details]
2018-08-15 14:36 • Add attachment 2008_03_xx_TexasInstruments_Application_Report_SLAA392_Understanding_MSP430_Flash_Data_Retention.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-06-23 00:20 • Add attachment 2000_01_xx_The_Technology_Behind_Crusoe_Processors_by_Alexander_Klaiber_keywords_CPU_instruction_set_translation_binary_translation.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-06-08 12:46 • Add attachment Attacks_on_Virtual_Machine_Emulators_by_Peter_Ferrie.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-06-08 10:45 • Changes to wiki page Reference: Safety-Critical Java (user: martin_vahi) [details]
2018-06-08 10:44 • Changes to wiki page Reference: Safety-Critical Java (user: martin_vahi) [details]
2018-06-08 10:42 • Add attachment 2013_06_25_The_Open_Group_SafetyCritical_Java_Technology_Specification_Version_0_94.pdf to wiki page Reference: Safety-Critical Java (user: martin_vahi) [details]
2018-06-08 10:41 • Changes to wiki page Reference: Safety-Critical Java (user: martin_vahi) [details]
2018-06-08 03:52 • Add attachment The_Entropia_Virtual_Machine_for_Desktop_Grids_by_Brad_Calder_and_Andrew_A_Chien_and_Ju_Wang_and_Don_Yang.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-06-08 00:47 • Add attachment XtratuM_a_Hypervisor_for_Safety_Critical_Embedded_Systems_by_M_Masmano_and_I_Ripoll_and_A_Crespo_and_J_J_Metge.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-06-07 23:37 • Add attachment Formally_Verified_Software_in_the_Real_World_by_Gerwin_Klein_and_June_Andronick_and_Matthew_Fernandez_and_Ihor_Kuz_and_Toby_Murray_and_Gernot_Heiser.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-06-07 02:00
[857ec64989] Leaf: CPUs (user: vhost7825ssh, tags: trunk)
2018-06-06 23:35
[076420858a] ExaHyPE (user: vhost7825ssh, tags: trunk)
2018-06-06 20:47
[75f2f5649b] CryptoVerif MRnet PAGAI_static_analyser SIONlib (user: vhost7825ssh, tags: trunk)
2018-06-06 19:07 • Add attachment 1983_12_xx_A_Cedar_Language_Reference_Manual_by_Butler_W_Lampson.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-05-30 18:38 • Add attachment Provably_Correct_Compiler_Development_and_Implementation_by_Bettina_Buth_and_KarlHeinz_Buth_and_Martin_Frgnzle_and_Burghard_v_Karger_and_Yassine_Lakhneche_and_Hans_Langmaack_and_Markus MiillerOlm.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-05-26 05:35 • Add attachment 1978_xx_xx_The_development_of_computers_in_Japan_by_OSAMU_ISHII.pdf to wiki page Collection_of_References_001 (user: martin_vahi) [details]
2018-05-25 01:57 • Add attachment 1991_06_xx_Getting_Started_in_StarLisp_Version_6_1.pdf to wiki page Reference: Connection Machine (user: martin_vahi) [details]
2018-05-25 01:25 • Add attachment 2014_10_03_YouTube_sRe77Mdna0Y_Bill_Emshoff_About_Using_C++_on_Mission_and_Safety_Critical_Platforms_keywords_JSF++_Joint_Strike_Fighter_CppCon.ogg to wiki page Reference: JSF++ Standard for Safety Critical C++ (user: martin_vahi) [details]
2018-05-23 02:27 • Changes to wiki page Reference: Connection Machine (user: martin_vahi) [details]
2018-05-23 02:25 • Add attachment archive_is_Thie5.zip to wiki page Reference: Connection Machine (user: martin_vahi) [details]
2018-05-23 02:23 • Changes to wiki page Reference: Connection Machine (user: martin_vahi) [details]
2018-05-23 02:19 • Changes to wiki page Reference: Connection Machine (user: martin_vahi) [details]
2018-05-23 02:19 • Add attachment archive_is_QIEIC.zip to wiki page Reference: Connection Machine (user: martin_vahi) [details]
2018-05-23 02:17 • Changes to wiki page Reference: Connection Machine (user: martin_vahi) [details]
2018-05-23 01:57 • Changes to wiki page Reference: Connection Machine (user: martin_vahi) [details]
2018-05-23 01:45 • Changes to wiki page Reference: Connection Machine (user: martin_vahi) [details]
2018-05-23 01:37 • Add attachment 1986_04_xx_The_Essential_StarLisp_Manual_Release_1_Revision_3.pdf to wiki page Reference: Connection Machine (user: martin_vahi) [details]
2018-05-22 23:45 • Add attachment 1994_03_21_The_Network_Architecture_of_the_Connection_Machine_CM5.pdf to wiki page Reference: Connection Machine (user: martin_vahi) [details]
Older