Search results for "AMD64"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
175	Daniel Luna, Mikael Pettersson, Konstantinos Sagonas	Efficiently compiling a functional language on AMD64: the HiPE experience.	PPDP	2005	DBLP DOI BibTeX RDF	AMD64, functional programming, erlang
111	Daniel Luna, Mikael Pettersson, Konstantinos Sagonas	HiPE on AMD64.	Erlang Workshop	2004	DBLP DOI BibTeX RDF	AMD64, native code compilation, erlang
43	Yunhe Shi, Kevin Casey, M. Anton Ertl, David Gregg	Virtual machine showdown: Stack versus registers.	ACM Trans. Archit. Code Optim.	2008	DBLP DOI BibTeX RDF	register architecture, stack architecture, virtual machine, Interpreter
37	Jae-Woong Chung, Luke Yen, Stephan Diestelhorst, Martin Pohlack, Michael Hohmuth, David Christie, Dan Grossman	ASF: AMD64 Extension for Lock-Free Data Structures and Transactional Memory.	MICRO	2010	DBLP DOI BibTeX RDF
37	Joseph W. Lyles Jr.	Vertical Reuse Strategy for Testbench Components Supporting Memory Consistency Checking of an SMP-Capable AMD64 Processor.	MTV	2008	DBLP DOI BibTeX RDF
37	Kana Murale, Scot Hildebrandt, Per Bojsen, Alfonso Urzua	AMD64 Processor Front-End Verification (at Unit-Level Testbench) with Instruction Set Simulator.	MTV	2008	DBLP DOI BibTeX RDF
31	David Monniaux	The pitfalls of verifying floating-point computations.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	AMD64, FPU, IA32, x87, Verification, Static analysis, Abstract interpretation, Program testing, Embedded software, Floating point, Safety-Critical Software, Rounding, PowerPC, IEEE-754
21	Irene Zhang, Alex Garthwaite, Yury Baskakov, Kenneth C. Barr	Fast restore of checkpointed memory using working set estimation.	VEE	2011	DBLP DOI BibTeX RDF
21	Huacai Chen, Hai Jin 0001, Zhiyuan Shao, Kan Hu, Ke Yu, Kun Tian	ClientVisor: leverage COTS OS functionalities for power management in virtualized desktop environment.	ACM SIGOPS Oper. Syst. Rev.	2009	DBLP DOI BibTeX RDF
21	Gregory B. Prokopski, Clark Verbrugge	Analyzing the performance of code-copying virtual machines.	OOPSLA	2008	DBLP DOI BibTeX RDF	code-copying, performance, virtual machines, dynamic analysis, compiler optimization, branch prediction
21	Daniel J. Bernstein, Peter Schwabe	New AES Software Speed Records.	INDOCRYPT	2008	DBLP DOI BibTeX RDF	AES, software implementation
21	Bernd Mathiske, Douglas N. Simon, Dave Ungar	The Project Maxwell assembler system.	PPPJ	2006	DBLP DOI BibTeX RDF	assembler generator, cross assembler, domain-specific framework, the Java language, Java, automated testing, systems programming, disassembler
21	Jack Liu, Youfeng Wu	Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations' Perspective.	CC	2006	DBLP DOI BibTeX RDF
21	Mitsuru Matsui	How Far Can We Go on the x64 Processors?	FSE	2006	DBLP DOI BibTeX RDF
21	Nicholas Nethercote, Robert Walsh, Jeremy Fitzhardinge	Building Workload Characterization Tools with Valgrind.	IISWC	2006	DBLP DOI BibTeX RDF
21	Paul C. van Oorschot, Anil Somayaji, Glenn Wurster	Hardware-Assisted Circumvention of Self-Hashing Software Tamper Resistance.	IEEE Trans. Dependable Secur. Comput.	2005	DBLP DOI BibTeX RDF	self-hashing, operating system kernels, software protection, Tamper resistance, checksumming, application security, processor design
21	Albert Cohen 0001, Marc Sigler, Sylvain Girbal, Olivier Temam, David Parello, Nicolas Vasilache	Facilitating the search for compositions of program transformations.	ICS	2005	DBLP DOI BibTeX RDF