|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 321 occurrences of 243 keywords
|
|
|
Results
Found 625 publication records. Showing 625 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Freek Verbeek, Pierre Olivier, Binoy Ravindran |
Sound C Code Decompilation for a Subset of x86-64 Binaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings, pp. 247-264, 2020, Springer, 978-3-030-58767-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Yu-Ping Liu, Ding-Yong Hong, Jan-Jan Wu, Sheng-Yu Fu, Wei-Chung Hsu |
Exploiting SIMD Asymmetry in ARM-to-x86 Dynamic Binary Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 16(1), pp. 2:1-2:24, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Weina Niu, Xiaosong Zhang 0001, Xiaojiang Du, Teng Hu, Xin Xie, Nadra Guizani |
Detecting Malware on X86-Based IoT Devices in Autonomous Driving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Wirel. Commun. ![In: IEEE Wirel. Commun. 26(4), pp. 80-87, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Denis Shaikhislamov, Andrey Sozykin, Vadim V. Voevodin |
Survey on Software Tools that Implement Deep Learning Algorithms on Intel/x86 and IBM/Power8/Power9 Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Supercomput. Front. Innov. ![In: Supercomput. Front. Innov. 6(4), pp. 57-83, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Philipp Koppe, Benjamin Kollenda, Marc Fyrbiak, Christian Kison, Robert Gawlik, Christof Paar, Thorsten Holz |
Reverse Engineering x86 Processor Microcode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.00948, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Zijo Kenjar, Tommaso Frassetto, David Gens, Michael Franz, Ahmad-Reza Sadeghi |
V0LTpwn: Attacking x86 Processor Integrity from Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.04870, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Andreas Abel 0002, Jan Reineke 0001 |
nanoBench: A Low-Overhead Tool for Running Microbenchmarks on x86 Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.03282, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Jan Laukemann, Julian Hammer, Georg Hager, Gerhard Wellein |
Automatic Throughput and Critical Path Analysis of x86 and ARM Assembly Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.00214, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Shilpi Goel, Anna Slobodová, Rob Sumners, Sol Swords |
Verifying x86 Instruction Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.10285, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Mario Carneiro |
Specifying verified x86 software from scratch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.01283, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Christian Harper-Cyr, Michel R. Dagenais, Ahmad S. Bushehri |
Fast and flexible tracepoints in x86. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 49(12), pp. 1712-1727, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Ahmed Wahba, Justin Hohnerlein, Farhan Rahman |
Expediting Design Bug Discovery in Regressions of x86 Processors Using Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: 20th International Workshop on Microprocessor/SoC Test, Security and Verification, MTV 2019, Austin, TX, USA, December 9-10, 2019, pp. 1-6, 2019, IEEE, 978-1-7281-5025-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Maria Mushtaq, Ayaz Akram, Muhammad Khurram Bhatti, Usman Ali, Vianney Lapotre, Guy Gogniat |
Sherlock Holmes of Cache Side-Channel Attacks in Intel's x86 Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNS ![In: 7th IEEE Conference on Communications and Network Security, CNS 2019, Washington, DC, USA, June 10-12, 2019, pp. 64-72, 2019, IEEE, 978-1-5386-7117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Brandon Neth, Michelle Mills Strout |
Automatic Parallelization of Irregular x86-64 Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2019, Washington, DC, USA, February 16-20, 2019, pp. 266, 2019, IEEE, 978-1-7281-1436-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Joshua A. Bockenek, Freek Verbeek, Peter Lammich, Binoy Ravindran |
Formal Verification of Memory Preservation of x86-64 Binaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings, pp. 35-49, 2019, Springer, 978-3-030-26600-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Caitlin Fanning, Saturnino Garcia |
Below C Level: A Student-Centered x86-64 Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, Aberdeen, Scotland, UK, July 15-17, 2019., pp. 381-387, 2019, ACM, 978-1-4503-6301-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Amogh Akshintala, Bhushan Jain, Chia-che Tsai, Michael Ferdman, Donald E. Porter |
x86-64 instruction usage among C/C++ applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYSTOR ![In: Proceedings of the 12th ACM International Conference on Systems and Storage, SYSTOR 2019, Haifa, Israel, June 3-5, 2019, pp. 68-79, 2019, ACM, 978-1-4503-6749-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Huanchen Zhang |
The End of the x86 Dominance in Databases? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIDR ![In: 9th Biennial Conference on Innovative Data Systems Research, CIDR 2019, Asilomar, CA, USA, January 13-16, 2019, Online Proceedings, 2019, www.cidrdb.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Sandeep Dasgupta, Daejun Park 0001, Theodoros Kasampalis, Vikram S. Adve, Grigore Rosu |
A complete formal semantics of x86-64 user-level instruction set architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019., pp. 1133-1148, 2019, ACM, 978-1-4503-6712-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Nathan Chong, Tyler Sorensen 0001, John Wickerson |
The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Annual Technical Conference ![In: 2019 USENIX Annual Technical Conference, USENIX ATC 2019, Renton, WA, USA, July 10-12, 2019, 2019, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Nir Drucker, Shay Gueron |
Fast constant time implementations of ZUC-256 on x86 CPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCNC ![In: 16th IEEE Annual Consumer Communications & Networking Conference, CCNC 2019, Las Vegas, NV, USA, January 11-14, 2019, pp. 1-7, 2019, IEEE, 978-1-5386-5553-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Yi-Ping You, Tsung-Chun Lin, Wuu Yang |
Translating AArch64 Floating-Point Instruction Set to the x86-64 Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 48th International Conference on Parallel Processing, ICPP 2019 Workshop Proceedings, Kyoto, Japan, August 05-08, 2019., pp. 12:1-12:7, 2019, ACM, 978-1-4503-7196-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Andrés Rainiero Hernández Coronado, Wonjun Lee 0003 |
Are We Referring to the Same x86 64?: Detection of Cache Events in AMD's Zen Micro-architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 39th IEEE International Conference on Distributed Computing Systems, ICDCS 2019, Dallas, TX, USA, July 7-10, 2019, pp. 2217-2227, 2019, IEEE, 978-1-7281-2519-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Yishen Chen, Ajay Brahmakshatriya, Charith Mendis, Alex Renda, Eric Atkinson, Ondrej Sýkora, Saman P. Amarasinghe, Michael Carbin |
BHive: A Benchmark Suite and Measurement Framework for Validating x86-64 Basic Block Performance Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IISWC ![In: IEEE International Symposium on Workload Characterization, IISWC 2019, Orlando, FL, USA, November 3-5, 2019, pp. 167-177, 2019, IEEE, 978-1-7281-4045-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Ian Roessle, Freek Verbeek, Binoy Ravindran |
Formally verified big step semantics out of x86-64 binaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019, pp. 181-195, 2019, ACM, 978-1-4503-6222-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Tianshu Hao, Ziping Zheng |
The Implementation and Optimization of Matrix Decomposition Based Collaborative Filtering Task on X86 Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bench ![In: Benchmarking, Measuring, and Optimizing - Second BenchCouncil International Symposium, Bench 2019, Denver, CO, USA, November 14-16, 2019, Revised Selected Papers, pp. 110-115, 2019, Springer, 978-3-030-49555-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Maosen Chen, Tun Chen, Qianyun Chen |
An Efficient Implementation of the ALS-WR Algorithm on x86 CPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bench ![In: Benchmarking, Measuring, and Optimizing - Second BenchCouncil International Symposium, Bench 2019, Denver, CO, USA, November 14-16, 2019, Revised Selected Papers, pp. 116-122, 2019, Springer, 978-3-030-49555-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Weixin Deng, Pengyu Wang 0003, Jing Wang, Chao Li 0009, Minyi Guo |
PSL: Exploiting Parallelism, Sparsity and Locality to Accelerate Matrix Factorization on x86 Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bench ![In: Benchmarking, Measuring, and Optimizing - Second BenchCouncil International Symposium, Bench 2019, Denver, CO, USA, November 14-16, 2019, Revised Selected Papers, pp. 101-109, 2019, Springer, 978-3-030-49555-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Ayaz Akram, Lina Sawalha |
Validation of the gem5 Simulator for x86 Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PMBS@SC ![In: 2019 IEEE/ACM Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, PMBS@SC 2019, Denver, CO, USA, November 18, 2019, pp. 53-58, 2019, IEEE, 978-1-7281-5977-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Jan Laukemann, Julian Hammer, Georg Hager, Gerhard Wellein |
Automatic Throughput and Critical Path Analysis of x86 and ARM Assembly Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PMBS@SC ![In: 2019 IEEE/ACM Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, PMBS@SC 2019, Denver, CO, USA, November 18, 2019, pp. 1-6, 2019, IEEE, 978-1-7281-5977-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Zhihao Li, Haipeng Jia, Yunquan Zhang, Tun Chen, Liang Yuan, Luning Cao, Xiao Wang |
AutoFFT: a template-based FFT codes auto-generation framework for ARM and X86 CPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2019, Denver, Colorado, USA, November 17-19, 2019., pp. 25:1-25:15, 2019, ACM, 978-1-4503-6229-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Joven L. Pernez, Roger Luis Uy, Kaizen Vinz A. Borja, Jan Carlo G. Maghirang |
QCKer: An x86-AVX/AVX2 Implementation of Q-gram Counting Filter for DNA Sequence Alignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBRA ![In: ICBRA '19: 6th International Conference on Bioinformatics Research and Applications, Seoul, Republic of Korea, December, 2019, pp. 49-54, 2019, ACM, 978-1-4503-7218-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Florian Haas |
Fault-tolerant Execution of Parallel Applications on x86 Multi-core Processors with Hardware Transactional Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
18 | Kaixi Hou, Hao Wang 0002, Wu-Chun Feng |
A Framework for the Automatic Vectorization of Parallel Sort on x86-Based Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 29(5), pp. 958-972, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Gregory Michael Price |
Virtual Breakpoints for x86/64. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1801.09250, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
18 | Alessandro Coglio, Shilpi Goel |
Adding 32-bit Mode to the ACL2 Model of the x86 ISA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018., pp. 77-94, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Yuhei Otsubo, Akira Otsuka, Mamoru Mimura, Takeshi Sakaki, Atsuhiro Goto |
o-glasses: Visualizing x86 Code from Binary Using a 1d-CNN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.05328, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
18 | Vladimír Still, Jiri Barnat |
Model Checking of C++ Programs Under the x86-TSO Memory Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, pp. 124-140, 2018, Springer, 978-3-030-02449-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Biwei Xie, Jianfeng Zhan, Xu Liu 0001, Wanling Gao, Zhen Jia 0001, Xiwen He, Lixin Zhang 0002 |
CVR: efficient vectorization of SpMV on x86 processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Proceedings of the 2018 International Symposium on Code Generation and Optimization, CGO 2018, Vösendorf / Vienna, Austria, February 24-28, 2018, pp. 149-162, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Alen Stojanov, Tyler Michael Smith, Dan Alistarh, Markus Püschel |
Fast Quantized Arithmetic on x86: Trading Compute for Data Movement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SiPS ![In: 2018 IEEE International Workshop on Signal Processing Systems, SiPS 2018, Cape Town, South Africa, October 21-24, 2018, pp. 349-354, 2018, IEEE, 978-1-5386-6318-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Dingzeyu Wu, Lei Wang 0126, Guoxiong Chen |
A Linux Cluster Automatic Deployment Method Under X86 Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSAE ![In: The 2nd International Conference on Computer Science and Application Engineering, CSAE 2018, Hohhot, China, October 22-24, 2018, pp. 126:1-126:5, 2018, ACM, 978-1-4503-6512-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Erick Bauman, Zhiqiang Lin, Kevin W. Hamlen |
Superset Disassembly: Statically Rewriting x86 Binaries Without Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NDSS ![In: 25th Annual Network and Distributed System Security Symposium, NDSS 2018, San Diego, California, USA, February 18-21, 2018, 2018, The Internet Society. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
18 | Caitlin Fanning |
Below C Level: A Simulator for Visualizing x86-64 (Abstract Only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 49th ACM Technical Symposium on Computer Science Education, SIGCSE 2018, Baltimore, MD, USA, February 21-24, 2018, pp. 274, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Ashijeet Acharya, Jeremy Fanguede, Michele Paolino, Daniel Raho |
A Performance Benchmarking Analysis of Hypervisors Containers and Unikernels on ARMv8 and x86 CPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuCNC ![In: 2018 European Conference on Networks and Communications, EuCNC 2018, Ljubljana, Slovenia, June 18-21, 2018, pp. 282-9, 2018, IEEE, 978-1-5386-1478-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Nathan Chong, Tyler Sorensen 0001, John Wickerson |
The semantics of transactions and weak memory in x86, Power, ARM, and C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018, pp. 211-225, 2018, ACM, 978-1-4503-5698-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Paul Muntean, Matthias Fischer, Gang Tan, Zhiqiang Lin, Jens Grossklags, Claudia Eckert 0001 |
τCFI: Type-Assisted Control Flow Integrity for x86-64 Binaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAID ![In: Research in Attacks, Intrusions, and Defenses - 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings, pp. 423-444, 2018, Springer, 978-3-030-00469-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Jago Gyselinck, Jo Van Bulck, Frank Piessens, Raoul Strackx |
Off-Limits: Abusing Legacy x86 Memory Segmentation to Spy on Enclaved Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings, pp. 44-60, 2018, Springer, 978-3-319-94495-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Manuel Rigger, Stefan Marr, Stephen Kell, David Leopoldseder, Hanspeter Mössenböck |
An Analysis of x86-64 Inline Assembly in C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE 2018, Williamsburg, VA, USA, March 25-25, 2018, pp. 84-99, 2018, ACM, 978-1-4503-5579-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate |
Binary Analysis based on Symbolic Execution and Reversible x86 Instructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 153(1-2), pp. 105-124, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Vitaly Petrov, Dmitri Moltchanov, Maria Komar, Alexander Antonov, Pavel Kustarev, Shaloo Rakheja, Yevgeni Koucheryavy |
Terahertz Band Intra-Chip Communications: Can Wireless Links Scale Modern x86 CPUs? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 5, pp. 6095-6109, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Young-Soo Park, Koo-Rock Park, Jin-Mook Kim, Hwa-Young Jeong |
Fast Fourier transform benchmark on X86 Xeon system for multimedia data processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 76(4), pp. 6015-6030, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Raffaele Montella, Giulio Giunta, Giuliano Laccetti, Marco Lapegna, Carlo Palmieri, Carmine Ferraro, Valentina Pelliccia, Cheol-Ho Hong, Ivor T. A. Spence, Dimitrios S. Nikolopoulos |
On the Virtualization of CUDA Based GPU Remoting on ARM and X86 Machines in the GVirtuS Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 45(5), pp. 1142-1163, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Nathan Chong, Tyler Sorensen 0001, John Wickerson |
The Semantics of Transactions and Weak Memory in x86, Power, ARMv8, and C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.04839, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
18 | Prashant Pandey 0001, Michael A. Bender, Rob Johnson |
A Fast x86 Implementation of Select. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.00990, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
18 | Christian Knauth, Boran Adas, Daniel Whitfield, Xuesong Wang, Lydia Ickler, Tim Conrad 0001, Oliver Serang |
Practically efficient methods for performing bit-reversed permutation in C++11 on the x86-64 architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1708.01873, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
18 | Timothy Merrifield, H. Reza Taheri |
Performance Implications of Extended Page Tables on Virtualized x86 Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 51(1), pp. 38-47, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Shilpi Goel, Warren A. Hunt Jr., Matt Kaufmann |
Engineering a Formal, Executable x86 ISA Simulator for Software Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Provably Correct Systems ![In: Provably Correct Systems, pp. 173-209, 2017, Springer, 978-3-319-48627-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Yu-Ping Liu, Ding-Yong Hong, Jan-Jan Wu, Sheng-Yu Fu, Wei-Chung Hsu |
Exploiting Asymmetric SIMD Register Configurations in ARM-to-x86 Dynamic Binary Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: 26th International Conference on Parallel Architectures and Compilation Techniques, PACT 2017, Portland, OR, USA, September 9-13, 2017, pp. 343-355, 2017, IEEE Computer Society, 978-1-5090-6764-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Sylvain Conchon, David Declerck, Fatiha Zaïdi |
Compiling Parameterized X86-TSO Concurrent Programs to Cubicle- W. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings, pp. 88-104, 2017, Springer, 978-3-319-68689-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Ahmed Wahba, Justin Hohnerlein, Farhan Rahman, Li-C. Wang |
Dynamic Exerciser Template Weighting in x86 Processor Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: 18th International Workshop on Microprocessor and SOC Test and Verification, MTV 2017, Austin, TX, USA, December 11-12, 2017, pp. 26-31, 2017, IEEE Computer Society, 978-1-5386-3351-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Marcelo Brandalero, Antonio Carlos Schneider Beck |
A Mechanism for energy-efficient reuse of decoding and scheduling of x86 instruction streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2017, Lausanne, Switzerland, March 27-31, 2017, pp. 1468-1473, 2017, IEEE, 978-3-9815370-8-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Junho Jeong, Yunsik Son 0001, Seman Oh |
The x86/64 Binary Code to Smart Intermediate Language Translation for Software Weakness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIP ![In: Proceedings of the International Conference on Advances in Image Processing, ICAIP 2017, Bangkok, Thailand, August 25-27, 2017, pp. 129-134, 2017, ACM, 978-1-4503-5295-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Bertrand Le Gal, Christophe Jégo |
Low-latency software LDPC decoders for x86 multi-core devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SiPS ![In: 2017 IEEE International Workshop on Signal Processing Systems, SiPS 2017, Lorient, France, October 3-5, 2017, pp. 1-6, 2017, IEEE, 978-1-5386-0446-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Robin Morisset, Francesco Zappa Nardelli |
Partially redundant fence elimination for x86, ARM, and power processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Proceedings of the 26th International Conference on Compiler Construction, Austin, TX, USA, February 5-6, 2017, pp. 1-10, 2017, ACM, 978-1-4503-5233-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
18 | Sebastian Kmiec, Jonathon Wong, Hans-Arno Jacobsen, Da Qi Ren |
A Comparison of ARM Against x86 for Distributed Machine Learning Workloads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPCTC ![In: Performance Evaluation and Benchmarking for the Analytics Era - 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers, pp. 164-184, 2017, Springer, 978-3-319-72400-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Philipp Koppe, Benjamin Kollenda, Marc Fyrbiak, Christian Kison, Robert Gawlik, Christof Paar, Thorsten Holz |
Reverse Engineering x86 Processor Microcode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 26th USENIX Security Symposium, USENIX Security 2017, Vancouver, BC, Canada, August 16-18, 2017., pp. 1163-1180, 2017, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
18 | Maosheng Zhang, Ying Zhao, Zengmingyu He |
GenLog: Accurate Log Template Discovery for Stripped X86 Binaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 1, pp. 337-346, 2017, IEEE Computer Society, 978-1-5386-0367-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Mohak Chadha, Thomas Ilsche, Mario Bielert, Wolfgang E. Nagel |
A Statistical Approach to Power Estimation for x86 Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: 2017 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPS Workshops 2017, Orlando / Buena Vista, FL, USA, May 29 - June 2, 2017, pp. 1012-1019, 2017, IEEE Computer Society, 978-1-5386-3408-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton |
Instruction punning: lightweight instrumentation for x86-64. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017, pp. 320-332, 2017, ACM, 978-1-4503-4988-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Haijiang Xie, Yuanyuan Zhang 0002, Juanru Li, Dawu Gu |
Nightingale: Translating Embedded VM Code in x86 Binary Executables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security - 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings, pp. 387-404, 2017, Springer, 978-3-319-69658-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | George Papadimitriou 0001, Manolis Kaliorakis, Athanasios Chatzidimitriou, Charalampos Magdalinos, Dimitris Gizopoulos |
Voltage margins identification on commercial x86-64 multicore microprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 23rd IEEE International Symposium on On-Line Testing and Robust System Design, IOLTS 2017, Thessaloniki, Greece, July 3-5, 2017, pp. 51-56, 2017, IEEE, 978-1-5386-0352-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Sven Mattsen |
BDD-based value analysis for X86 executables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
18 | Shigeki Akiyama, Kenjiro Taura |
Scalable Work Stealing of Native Threads on an x86-64 Infiniband Cluster. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. ![In: J. Inf. Process. 24(3), pp. 583-596, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Bertrand Le Gal, Christophe Jégo |
High-Throughput Multi-Core LDPC Decoders Based on x86 Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 27(5), pp. 1373-1386, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | André M. Eberle, Rodrigo Fernandes de Mello |
Application execution path analysis for the automatic parallelisation of binary codes in the Intel x86 platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Emergent Distributed Syst. ![In: Int. J. Parallel Emergent Distributed Syst. 31(5), pp. 405-419, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Jianfeng An, Yi Wang 0016 |
Speed up an x86 SAME simulator using synthesizable SystemC timing models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWSCAS ![In: IEEE 59th International Midwest Symposium on Circuits and Systems, MWSCAS 2016, Abu Dhabi, United Arab Emirates, October 16-19, 2016, pp. 1-4, 2016, IEEE, 978-1-5090-0916-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Simone Economo, Davide Cingolani, Alessandro Pellegrini 0001, Francesco Quaglia |
Configurable and Efficient Memory Access Tracing via Selective Expression-Based x86 Binary Instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 24th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2016, London, United Kingdom, September 19-21, 2016, pp. 261-270, 2016, IEEE Computer Society, 978-1-5090-3432-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate |
RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 779-785, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Matt Spisak |
Hardware-Assisted Rootkits: Abusing Performance Counters on the ARM and x86 Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOOT ![In: 10th USENIX Workshop on Offensive Technologies, WOOT 16, Austin, TX, USA, August 8-9, 2016., 2016, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
18 | Dennis Andriesse, Xi Chen 0038, Victor van der Veen, Asia Slowinska, Herbert Bos |
An In-Depth Analysis of Disassembly on Full-Scale x86/x64 Binaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016., pp. 583-600, 2016, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
18 | Ashay Rane, Calvin Lin, Mohit Tiwari |
Secure, Precise, and Fast Floating-Point Operations on x86 Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016., pp. 71-86, 2016, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
18 | Kaixi Hou, Hao Wang 0002, Wu-chun Feng |
AAlign: A SIMD Framework for Pairwise Sequence Alignment on x86-Based Multi-and Many-Core Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 2016 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2016, Chicago, IL, USA, May 23-27, 2016, pp. 780-789, 2016, IEEE Computer Society, 978-1-5090-2140-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton |
Living on the edge: rapid-toggling probes with cross-modification on x86. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016, pp. 16-26, 2016, ACM, 978-1-4503-4261-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Stefan Heule, Eric Schkufza, Rahul Sharma 0001, Alex Aiken |
Stratified synthesis: automatically learning the x86-64 instruction set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016, pp. 237-250, 2016, ACM, 978-1-4503-4261-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Aaron Grenat, Sriram Sundaram, Stephen Kosonocky, Ravinder Rachala, Sriram Sambamurthy, Steven Liepe, Miguel Rodriguez, Tom Burd, Adam Clark, Michael Austin, Samuel Naffziger |
4.2 Increasing the performance of a 28nm x86-64 microprocessor through system power management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSCC ![In: 2016 IEEE International Solid-State Circuits Conference, ISSCC 2016, San Francisco, CA, USA, January 31 - February 4, 2016, pp. 74-75, 2016, IEEE, 978-1-4673-9466-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Yesheng Zhi, Yuanyuan Zhang 0002, Juanru Li, Dawu Gu |
Security Testing of Software on Embedded Devices Using x86 Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CollaborateCom ![In: Collaborate Computing: Networking, Applications and Worksharing - 12th International Conference, CollaborateCom 2016, Beijing, China, November 10-11, 2016, Proceedings, pp. 497-504, 2016, Springer, 978-3-319-59287-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Timothy Merrifield, H. Reza Taheri |
Performance Implications of Extended Page Tables on Virtualized x86 Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Atlanta, GA, USA, April 2-3, 2016, pp. 25-35, 2016, ACM, 978-1-4503-3947-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Robert Schöne, Daniel Molka, Michael Werner |
Wake-up latencies for processor idle states on current x86 processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Res. Dev. ![In: Comput. Sci. Res. Dev. 30(2), pp. 219-227, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Markus Wittmann, Thomas Zeiser, Georg Hager, Gerhard Wellein |
Short Note on Costs of Floating Point Operations on current x86-64 Architectures: Denormals, Overflow, Underflow, and Division by Zero. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1506.03997, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
18 | Erzhou Zhu, Feng Liu 0024, Zuo Wang, Alei Liang, Yiwen Zhang 0001, Xuejian Li, Xuejun Li 0001 |
Dytaint: The implementation of a novel lightweight 3-state dynamic taint analysis framework for x86 binary programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Secur. ![In: Comput. Secur. 52, pp. 51-69, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Pedro Alonso 0002, Sandra Catalán, Francisco D. Igual, Rafael Mayo 0002, Rafael Rodríguez-Sánchez 0001, Enrique S. Quintana-Ortí |
Time and energy modeling of high-performance Level-3 BLAS on x86 architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Model. Pract. Theory ![In: Simul. Model. Pract. Theory 55, pp. 77-94, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Peter Gammie, Tony Hosking, Kai Engelhardt |
Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2015, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
18 | Jonas Oberhauser |
A Simpler Reduction Theorem for x86-TSO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, and Experiments - 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers, pp. 142-164, 2015, Springer, 978-3-319-29612-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Marco Elver, Vijay Nagarajan |
RC3: Consistency Directed Cache Coherence for x86-64 with RC Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: 2015 International Conference on Parallel Architectures and Compilation, PACT 2015, San Francisco, CA, USA, October 18-21, 2015, pp. 292-304, 2015, IEEE Computer Society, 978-1-4673-9524-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Liang Deng, Qingkai Zeng 0002, Yao Liu 0011 |
ISboxing: An Instruction Substitution Based Data Sandboxing for x86 Untrusted Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEC ![In: ICT Systems Security and Privacy Protection - 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings, pp. 386-400, 2015, Springer, 978-3-319-18466-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Yang Lu, Qi Zhang, Bin Wei |
Real-time CPU based H.265/HEVC encoding solution with x86 platform technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC ![In: International Conference on Computing, Networking and Communications, ICNC 2015, Garden Grove, CA, USA, February 16-19, 2015, pp. 418-421, 2015, IEEE Computer Society, 978-1-4799-6959-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Gergely Pongrácz |
ERFS: The fastest x86 OpenFlow dataplane in the world. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPSR ![In: 16th IEEE International Conference on High Performance Switching and Routing, HPSR 2015, Budapest, Hungary, July 1-4, 2015, pp. 128-129, 2015, IEEE, 978-1-4799-9871-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Bindu Madhavi Padmanabhuni, Hee Beng Kuan Tan |
Buffer Overflow Vulnerability Prediction from x86 Executables Using Static Analysis and Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2, pp. 450-459, 2015, IEEE Computer Society, 978-1-4673-6563-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Peter Gammie, Antony L. Hosking, Kai Engelhardt |
Relaxing safely: verified on-the-fly garbage collection for x86-TSO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015, pp. 99-109, 2015, ACM, 978-1-4503-3468-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Charith Mendis, Jeffrey Bosboom, Kevin Wu, Shoaib Kamil 0001, Jonathan Ragan-Kelley, Sylvain Paris, Qin Zhao, Saman P. Amarasinghe |
Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015, pp. 391-402, 2015, ACM, 978-1-4503-3468-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 625 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|