Search results for "x86"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Jan Treibig, Georg Hager, Gerhard Wellein	LIKWID: A lightweight performance-oriented tool suite for x86 multicore environments	CoRR	2010	DBLP BibTeX RDF
18	Hans-Juergen Boehm	A solid foundation for x86 shared memory: technical perspective.	Commun. ACM	2010	DBLP DOI BibTeX RDF
18	Bennet Yee, David Sehr, Gregory Dardyk, J. Bradley Chen, Robert Muth, Tavis Ormandy, Shiki Okasaka, Neha Narula, Nicholas Fullagar	Native Client: a sandbox for portable, untrusted x86 native code.	Commun. ACM	2010	DBLP DOI BibTeX RDF
18	Daehyun Kim 0001, Victor W. Lee, Yen-Kuang Chen	Image Processing on Multicore x86 Architectures.	IEEE Signal Process. Mag.	2010	DBLP DOI BibTeX RDF
18	Patrick Longa, Catherine H. Gebotys	Analysis of Efficient Techniques for Fast Elliptic Curve Cryptography on x86-64 based Processors.	IACR Cryptol. ePrint Arch.	2010	DBLP BibTeX RDF
18	Ole Agesen, Alex Garthwaite, Jeffrey Sheldon, Pratap Subrahmanyam	The evolution of an x86 virtual machine monitor.	ACM SIGOPS Oper. Syst. Rev.	2010	DBLP DOI BibTeX RDF
18	Brad Burgess	"Bobcat" AMD's new low power x86 core architecture.	Hot Chips Symposium	2010	DBLP DOI BibTeX RDF
18	Tom Ridge	A Rely-Guarantee Proof System for x86-TSO.	VSTTE	2010	DBLP DOI BibTeX RDF
18	Jonas Pfoh, Christian A. Schneider, Claudia Eckert 0001	Exploiting the x86 Architecture to Derive Virtual Machine State Information.	SECURWARE	2010	DBLP DOI BibTeX RDF
18	Arun Lakhotia, Davidson R. Boccardo, Anshuman Singh, Aleardo Manacero	Context-sensitive analysis of obfuscated x86 executables.	PEPM	2010	DBLP DOI BibTeX RDF	analysis of bianries, deobfuscation, obfuscation, context-sensitive analysis
18	Kirill Makankov, Seon Wook Kim	Implementation of x86 Binary-to-C Translator by Using GNU Tools.	CIT	2010	DBLP DOI BibTeX RDF	compiler, assembly, binary translation, C language
18	Daniel Molka, Daniel Hackenberg, Robert Schöne, Matthias S. Müller	Characterizing the energy consumption of data transfers and arithmetic operations on x86-64 processors.	Green Computing Conference	2010	DBLP DOI BibTeX RDF
18	Scott Owens	Reasoning about the Implementation of Concurrency Abstractions on x86-TSO.	ECOOP	2010	DBLP DOI BibTeX RDF
18	Gao Xia, Bin Liu 0001	Accelerating network applications on X86-64 platforms.	ISCC	2010	DBLP DOI BibTeX RDF
18	Jan Treibig, Georg Hager, Gerhard Wellein	LIKWID: A Lightweight Performance-Oriented Tool Suite for x86 Multicore Environments.	ICPP Workshops	2010	DBLP DOI BibTeX RDF
18	Ziying Dai, Xiaoguang Mao, Dianlin Wang, Donghong Liu, Jie Zhang	Checking Compliance to Coding Standards for x86 Executables.	UIC/ATC Workshops	2010	DBLP DOI BibTeX RDF
18	Ravi Jotwani, Sriram Sundaram, Stephen Kosonocky, Alex Schaefer, Victor Andrade, Greg Constant, Amy Novak, Sam Naffziger	An x86-64 core implemented in 32nm SOI CMOS.	ISSCC	2010	DBLP DOI BibTeX RDF
18	Amit Vasudevan, Jonathan M. McCune, Ning Qu, Leendert van Doorn, Adrian Perrig	Requirements for an Integrity-Protected Hypervisor on the x86 Hardware Virtualized Architecture.	TRUST	2010	DBLP DOI BibTeX RDF
18	Ping Chen 0003, Xiao Xing, Bing Mao, Li Xie 0001	Return-Oriented Rootkit without Returns (on the x86).	ICICS	2010	DBLP DOI BibTeX RDF
18	Hui Zeng, Matt T. Yourst, Kanad Ghose, Dmitry Ponomarev 0001	MPTLsim: a cycle-accurate, full-system simulator for x86-64 multicore architectures with coherent caches.	SIGARCH Comput. Archit. News	2009	DBLP DOI BibTeX RDF
18	Larry Seiler, Doug Carmean, Eric Sprangle, Tom Forsyth, Pradeep Dubey, Stephen Junkins, Adam T. Lake, Robert Cavin, Roger Espasa, Ed Grochowski, Toni Juan, Michael Abrash, Jeremy Sugerman, Pat Hanrahan	Larrabee: A Many-Core x86 Architecture for Visual Computing.	IEEE Micro	2009	DBLP DOI BibTeX RDF
18	Weiwu Hu, Jian Wang, Xiang Gao, Yunji Chen, Qi Liu, Guojie Li	Godson-3: A Scalable Multicore RISC Processor with x86 Emulation.	IEEE Micro	2009	DBLP DOI BibTeX RDF
18	Denis Barthou, Andres Charif Rubial, William Jalby, Souad Koliai, Cédric Valensi	Performance Tuning of x86 OpenMP Codes with MAQAO.	Parallel Tools Workshop	2009	DBLP DOI BibTeX RDF
18	David Molnar, Xue Cong Li, David A. Wagner 0001	Dynamic Test Generation to Find Integer Bugs in x86 Binary Linux Programs.	USENIX Security Symposium	2009	DBLP BibTeX RDF
18	Tielei Wang, Tao Wei, Zhiqiang Lin, Wei Zou	IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution.	NDSS	2009	DBLP BibTeX RDF
18	William Keshlear, Spence Oliver, Robert Colyer, Jeremy Schreiber, Ted Antoniadis, Tom Mickelson, Tim Puzey, Michael Bates	Design optimizations for reduced power and higher operating frequency in a custom x86-64 processor core.	CICC	2009	DBLP DOI BibTeX RDF
18	Yusong Tan, Weihua Zhang, Qingbo Wu 0003	Block-Based In-Place Replacement Strategy for x86 Sensitive Instructions in Virtual Machine.	ISPA	2009	DBLP DOI BibTeX RDF	Block-based In-Place Replacement, Binary Translation, Hypervisor
18	Michael Black, William Edgar	Exploring mobile devices as Grid resources: Using an x86 virtual machine to run BOINC on an iPhone.	GRID	2009	DBLP DOI BibTeX RDF
18	Dong Tang, William Bryson	Quantitative RAS Comparison of Sun CMT/Solaris and X86/Linux Servers.	PRDC	2009	DBLP DOI BibTeX RDF
18	Anna Inn-Tung Chen, Ming-Shing Chen, Tien-Ren Chen, Chen-Mou Cheng, Jintai Ding, Eric Li-Hsiang Kuo, Frost Yu-Shuang Lee, Bo-Yin Yang	SSE Implementation of Multivariate PKCs on Modern x86 CPUs.	CHES	2009	DBLP DOI BibTeX RDF	multivariate public key cryptosystem (MPKC), ?IC, vector instructions, SSSE3, Wiedemann, TTS, rainbow, SSE2
18	Ping Chen 0003, Hao Han, Yi Wang, Xiaobin Shen 0001, Xinchun Yin, Bing Mao, Li Xie 0001	IntFinder: Automatically Detecting Integer Bugs in x86 Binary Program.	ICICS	2009	DBLP DOI BibTeX RDF
18	Neil G. Dickson	A Simple, Linear-Time Algorithm for x86 Jump Encoding	CoRR	2008	DBLP BibTeX RDF
18	Hans-Jürgen Brand	Optimization of Design Flows for Multi-Core x86 Microprocessors in 45 and 32nm Technologies under Productivity Considerations.	DATE	2008	DBLP DOI BibTeX RDF
18	Thomas W. Reps, Gogul Balakrishnan	Improved Memory-Access Analysis for x86 Executables.	CC	2008	DBLP DOI BibTeX RDF
18	Bryan Ford, Russ Cox	Vx32: Lightweight User-level Sandboxing on the x86.	USENIX Annual Technical Conference	2008	DBLP BibTeX RDF
18	Jih-Ching Chiu, Yu-Liang Chou, Ta-Li Yeh, Tseng-Kuei Lin	Designs of the basic block reassembling Instruction Stream Buffer for X86 ISA.	ACSAC	2008	DBLP DOI BibTeX RDF
18	Danilo Bruschi, Lorenzo Cavallaro, Andrea Lanzi	Static Analysis on x86 Executables for Preventing Automatic Mimicry Attacks.	DIMVA	2007	DBLP DOI BibTeX RDF
18	Michael J. Schulte, Dimitri Tan, Carl Lemonds	Floating-point division algorithms for an x86 microprocessor with a rectangular multiplier.	ICCD	2007	DBLP DOI BibTeX RDF
18	Andrea Lanzi, Lorenzo Martignoni, Mattia Monga, Roberto Paleari	A Smart Fuzzer for x86 Executables.	SESS@ICSE	2007	DBLP DOI BibTeX RDF
18	Randolph Welte, Dirk von Suchodoletz	Funktionale Langzeitarchivierung der X86 Ära.	Prax. Inf.verarb. Kommun.	2006	DBLP DOI BibTeX RDF
18	Hao Liu, Feodor S. Vainstein	A Prototype Decompiler for 32-bit x86 Executables.	SEDE	2006	DBLP BibTeX RDF
18	Joseph Antony, Mike J. Frisch, Alistair P. Rendell	Modelling the Performance of the Gaussian Chemistry Code on x86 Architectures.	HPSC	2006	DBLP DOI BibTeX RDF
18	Rafael Rico, Juan Ignacio Pérez, José Antonio de Frutos	The impact of x86 instruction set architecture on superscalar processing.	J. Syst. Archit.	2005	DBLP DOI BibTeX RDF
18	Michael Venable, Mohamed R. Chouchane, Md. Enamul Karim, Arun Lakhotia	Analyzing Memory Accesses in Obfuscated x86 Executables.	DIMVA	2005	DBLP DOI BibTeX RDF
18	Takeshi Ogasawara, Hideaki Komatsu, Toshio Nakatani	Optimizing precision overhead for x86 processors.	Softw. Pract. Exp.	2004	DBLP DOI BibTeX RDF
18	Francisco J. Villa, Manuel E. Acacio, José M. García 0001	On the Evaluation of x86 Web Servers Using Simics: Limitations and Trade-Offs.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
18	Jih-Ching Chiu, Michael Jin-Yi Wang, Chung-Ping Chung	Design of Instruction Address Queue for High Degree X86 Superscalar Architecture.	J. Inf. Sci. Eng.	2002	DBLP BibTeX RDF
18	Takeshi Ogasawara, Hideaki Komatsu, Toshio Nakatani	Optimizing Precision Overhead for x86 Processors.	Java Virtual Machine Research and Technology Symposium	2002	DBLP BibTeX RDF
18	Frank van der Linden 0001	Porting NetBSD to the AMD x86-64: A Case Study in OS Portability.	BSDCon	2002	DBLP BibTeX RDF
18	Steven A. Vlaovic	Modeling and analysis of x86-based front -end architectures.		2002	RDF
18	Andres Torrubia, Francisco J. Mora	Information Security in Multiprocessor Systems Based on the X86 Architecture.	Comput. Secur.	2000	DBLP DOI BibTeX RDF
18	Michael Golden, Steve Hesley, Alisa Scherer, Matthew Crowley, Scott C. Johnson, Stephan Meier, Dirk Meyer, Jerry D. Moench, Stuart F. Oberman, Hamid Partovi, Fred Weber, Scott White, Tim Wood 0001, John Yong	A seventh-generation x86 microprocessor.	IEEE J. Solid State Circuits	1999	DBLP DOI BibTeX RDF
18	Hung-Chang Hsiao, Chung-Ta King, Wei-Kuo Chen, Hsian-Hsiung Lin, Chien-Chao Tseng	A Simulation Toolkit for x86-Compatible Processors - XSim.	Int. J. High Speed Comput.	1999	DBLP DOI BibTeX RDF
18	Luis Basto, Asif Khan, Pete Hodakievic	Embedded X86 testing methodology.	ITC	1999	DBLP DOI BibTeX RDF
18	Jochen Liedtke, Nayeem Islam, Trent Jaeger, Vsevolod Panteleenko, Yoonho Park	An unconventional proposal: using the x86 architecture as the ubiquitous virtual standard architecture.	ACM SIGOPS European Workshop	1998	DBLP DOI BibTeX RDF
18	Ing-Jer Huang, Ping-Huei Xie	Application of Instruction Analysis/Synthesis Tools to x86's Functional Unit Allocation.	ISSS	1998	DBLP DOI BibTeX RDF
18	Hui-Yue Hwang, R.-Ming Shiu, Jean Jyh-Jiun Shann	An X86 Load/Store Unit with Aggressive Scheduling of Load/Store Operations.	ICPADS	1998	DBLP DOI BibTeX RDF
18	S.-K. Cheng, R.-Ming Shiu, Jean Jyh-Jiun Shann	Decoding Unit with High Issue Rate for X86 Superscalar Microprocessors.	ICPADS	1998	DBLP DOI BibTeX RDF
18	Raymond J. Hookway	DIGITAL FX!32 running 32-Bit x86 applications on Alpha NT.	COMPCON	1997	DBLP DOI BibTeX RDF
18	Chong-Min Kyung, In-Cheol Park, Se-Kyoung Hong, K. S. Seong, B. S. Kong, Seungjong Lee, Hoon Choi, S. R. Maeng, D. T. Kim, Jong-Sun Kim, S. H. Park, Y. J. Kang	HK386: an x86-compatible 32-bit CISC microprocessor.	ASP-DAC	1997	DBLP DOI BibTeX RDF
18	Liangchuan Hsu	A Robust Foundation for Binary Translation of X86 Code		1997	RDF
18	John H. Wharton	The State of the x86 World.	COMPCON	1994	DBLP DOI BibTeX RDF
18	Nicolai Preiß	PROLOG-X86: Coupling PROLOG with a Relational Database System.	Relational Databases and their Extensions	1988	DBLP BibTeX RDF
11	Xiaolin Wang 0001, Jiarui Zang, Zhenlin Wang, Yingwei Luo, Xiaoming Li 0001	Selective hardware/software memory virtualization.	VEE	2011	DBLP DOI BibTeX RDF
11	John R. Lange, Kevin T. Pedretti, Peter A. Dinda, Patrick G. Bridges, Chang Bae, Philip Soltero, Alexander Merritt	Minimal-overhead virtualization of a large scale supercomputer.	VEE	2011	DBLP DOI BibTeX RDF
11	Shlomi Dolev, Reuven Yagel	Stabilizing trust and reputation for self-stabilizing efficient hosts in spite of byzantine guests.	ACM SIGOPS Oper. Syst. Rev.	2010	DBLP DOI BibTeX RDF
11	Zhenjiang Wang, Chenggang Wu 0002, Pen-Chung Yew	On improving heap memory layout by dynamic pool allocation.	CGO	2010	DBLP DOI BibTeX RDF	adaptive partial call chain, pool allocation, dynamic optimization, data layout
11	Martin Grund, Jan Schaffner, Jens Krüger 0003, Jan Brunnert, Alexander Zeier	The effects of virtualization on main memory systems.	DaMoN	2010	DBLP DOI BibTeX RDF
11	James Kukunas, Robert D. Cupper, Gregory M. Kapfhammer	A genetic algorithm to improve linux kernel performance on resource-constrained devices.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	genetic algorithm, compilers, linux kernel
11	Ales Plsek, Lei Zhao, Veysel Harun Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek	Developing safety critical Java applications with oSCJ/L0.	JTRES	2010	DBLP DOI BibTeX RDF	memory management, Java virtual machine, safety critical systems
11	Lorenzo Martignoni, Roberto Paleari, Giampaolo Fresi Roglia, Danilo Bruschi	Testing system virtual machines.	ISSTA	2010	DBLP DOI BibTeX RDF	software testing, virtualization, emulation, automatic test generation, fuzzing
11	Patrice Godefroid, Johannes Kinder	Proving memory safety of floating-point computations by combining static and dynamic program analysis.	ISSTA	2010	DBLP DOI BibTeX RDF	static and dynamic program analysis, program verification
11	Håkon Kvale Stensland, Håvard Espeland, Carsten Griwodz, Pål Halvorsen	Tips, tricks and troubles: optimizing for cell and GPU.	NOSSDAV	2010	DBLP DOI BibTeX RDF	heterogeneous processing architectures, mjpeg, optimizations, performance, gpgpu, cell
11	Lee Chew, David Lie	Kivati: fast detection and prevention of atomicity violations.	EuroSys	2010	DBLP DOI BibTeX RDF	kivati, watchpoint, atomicity violation
11	Thomas W. Barr, Alan L. Cox, Scott Rixner	Translation caching: skip, don't walk (the page table).	ISCA	2010	DBLP DOI BibTeX RDF	page walk caching, memory management, tlb
11	Naveen Neelakantam, David R. Ditzel, Craig B. Zilles	A real system evaluation of hardware atomicity for software speculation.	ASPLOS	2010	DBLP DOI BibTeX RDF	optimization, checkpoint, atomicity, speculation, dynamic translation
11	Loïc Duflot	CPU bugs, CPU backdoors and consequences on security.	J. Comput. Virol.	2009	DBLP DOI BibTeX RDF
11	Lei Xia, Jack Lange, Peter A. Dinda, Chang Bae	Investigating virtual passthrough I/O on commodity devices.	ACM SIGOPS Oper. Syst. Rev.	2009	DBLP DOI BibTeX RDF
11	Micah Dowty, Jeremy Sugerman	GPU virtualization on VMware's hosted I/O architecture.	ACM SIGOPS Oper. Syst. Rev.	2009	DBLP DOI BibTeX RDF
11	Fermín Galán Márquez, David Fernández 0002, Walter Fuertes, Miguel Gómez, Jorge E. López de Vergara	Scenario-based virtual network infrastructure management in research and educational testbeds with VNUML.	Ann. des Télécommunications	2009	DBLP DOI BibTeX RDF	Virtual networking infrastructure, Scenario-based management, VNUML, Testbeds, User Mode Linux
11	Warren A. Hunt Jr., Sol Swords	Centaur Technology Media Unit Verification.	CAV	2009	DBLP DOI BibTeX RDF
11	Perry H. Wang, Jamison D. Collins, Christopher T. Weaver, Belliappa Kuttanna, Shahram Salamian, Gautham N. Chinya, Ethan Schuchman, Oliver Schilling, Thorsten Doil, Sebastian Steibl, Hong Wang 0003	Intel® atomTM processor core made FPGA-synthesizable.	FPGA	2009	DBLP DOI BibTeX RDF	intel atom, synthesizable core, fpga, emulator
11	Jiyong Park, Seongsoo Hong	Building a customizable embedded operating system with fine-grained joinpoints using the AOX programming environment.	SAC	2009	DBLP DOI BibTeX RDF	fine-granularity, AOP, operating systems, language independence
11	Samantika Subramaniam, Anne Bracy, Hong Wang 0003, Gabriel H. Loh	Criticality-based optimizations for efficient load processing.	HPCA	2009	DBLP DOI BibTeX RDF
11	Michael D. Powell, Arijit Biswas, Joel S. Emer, Shubhendu S. Mukherjee, Basit R. Sheikh, Shrirang M. Yardi	CAMP: A technique to estimate per-structure power at run-time using a few simple parameters.	HPCA	2009	DBLP DOI BibTeX RDF
11	Chris Hawblitzel, Erez Petrank	Automated verification of practical garbage collectors.	POPL	2009	DBLP DOI BibTeX RDF	verification, garbage collection
11	Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli	The semantics of power and ARM multiprocessor machine code.	DAMP	2009	DBLP DOI BibTeX RDF	semantics, powerpc, arm, relaxed memory models
11	Junghee Lim, Akash Lal, Thomas W. Reps	Symbolic Analysis via Semantic Reinterpretation.	SPIN	2009	DBLP DOI BibTeX RDF
11	Patrice Godefroid	Software Model Checking Improving Security of a Billion Computers.	SPIN	2009	DBLP DOI BibTeX RDF
11	Dam Sunwoo, Joonsoo Kim, Derek Chiou	QUICK: A flexible full-system functional model.	ISPASS	2009	DBLP DOI BibTeX RDF
11	Ping Chen 0003, Hai Xiao, Xiaobin Shen 0001, Xinchun Yin, Bing Mao, Li Xie 0001	DROP: Detecting Return-Oriented Programming Malicious Code.	ICISS	2009	DBLP DOI BibTeX RDF
11	Naama Parush, Dan Pelleg, Muli Ben-Yehuda, Paula Ta-Shma	Out-of-band detection of boot-sequence termination events.	ICAC	2009	DBLP DOI BibTeX RDF	boot detection, out-of-band, virtualization
11	Trevor Hansen, Peter Schachte, Harald Søndergaard	State Joining and Splitting for the Symbolic Execution of Binaries.	RV	2009	DBLP DOI BibTeX RDF
11	Nan Wu 0003, Mei Wen, Wei Wu, Ju Ren 0002, Huayou Su, Changqing Xun, Chunyuan Zhang	Streaming HD H.264 encoder on programmable processors.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	1080P HD, H.264 encoder, real-time, stream, programmable
11	James Newsome, Stephen McCamant, Dawn Song	Measuring channel capacity to distinguish undue influence.	PLAS	2009	DBLP DOI BibTeX RDF	model counting, quantitative information flow, channel capacity
11	Jeff H. Perkins, Sunghun Kim 0001, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Gregory T. Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard	Automatically patching errors in deployed software.	SOSP	2009	DBLP DOI BibTeX RDF	self healing
11	Manuel Egele, Peter Wurzinger, Christopher Kruegel, Engin Kirda	Defending Browsers against Drive-by Downloads: Mitigating Heap-Spraying Code Injection Attacks.	DIMVA	2009	DBLP DOI BibTeX RDF	malicious script, shellcode, emulation, Drive-by download
11	Ronny Ronen	Larrabee: a many-core Intel architecture for visual computing.	Conf. Computing Frontiers	2009	DBLP DOI BibTeX RDF	graphics architecture, many-core computing, parrallel processing, processor arechitecture, software rendering
11	Yong-Joon Park, Zhao Zhang, Songqing Chen	Run-Time Detection of Malwares via Dynamic Control-Flow Inspection.	ASAP	2009	DBLP DOI BibTeX RDF
11	Monirul Islam Sharif, Andrea Lanzi, Jonathon T. Giffin, Wenke Lee	Automatic Reverse Engineering of Malware Emulators.	SP	2009	DBLP DOI BibTeX RDF