Search results for "system libraries"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Seongbeom Kim, Fang Liu, Yan Solihin, Ravi R. Iyer, Li Zhao, W. Cohen	Accelerating Full-System Simulation through Characterizing and Predicting Operating System Performance.	ISPASS	2007	DBLP DOI BibTeX RDF	memory hierarchy model, full-system simulation acceleration, operating system performance characterization, operating system performance prediction, computer hardware complexity, cycle-accurate processor system simulation overheads, system libraries, OS service performance behavior, processor hierarchy model, Linux, software complexity
1	Ruben A. Gamboa	A Formalization of Powerlist Algebra in ACL2.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Powerlists, Verification, ACL2
1	Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin	Automated Formal Testing of C API Using T2C Framework.	ISoLA	2008	DBLP DOI BibTeX RDF	compliance testing, parameterized tests, medium-quality tests, Formal testing
1	Injung Kim, Min Kyung Hwang, Woojoong Lee, Chanik Park	u-PC: personal workspace on a portable storage.	Mobility Conference	2007	DBLP DOI BibTeX RDF	application mobility, file I/O, file and registry hooking, file forwarding, personal workspace, portable storage, windows kernel, application, user profile, UPnP, iSCSI, registry, user data
1	Fabrizio Petrini, Jarek Nieplocha, Vinod Tipparaju	SFT: scalable fault tolerance.	Operating Systems Review	2006	DBLP DOI BibTeX RDF
1	Wojtek Goscinski, David Abramson	Motor: A Virtual Machine for High Performance Computing.	HPDC	2006	DBLP DOI BibTeX RDF	system library, Motor MPI library, high performance message passing library, virtual environment, virtual machine, high performance computing, garbage collection, grid environment, virtual infrastructure
1	Nils Smeds	A PAPI Implementation for BlueGene.	PARA	2006	DBLP DOI BibTeX RDF
1	Roberto Gioiosa, José Carlos Sancho, Song Jiang, Fabrizio Petrini	Transparent, Incremental Checkpointing at Kernel Level: a Foundation for Fault Tolerance for Parallel Computers.	SC	2005	DBLP DOI BibTeX RDF
1	Amr Awadallah, Mendel Rosenblum	The vMatrix: Server Switching.	FTDCS	2004	DBLP DOI BibTeX RDF	server multiplexing, server switching, load balancing, virtual machine monitor
1	Ghulam Lashari, Suresh Srinivas	Characterizing Java[tm] Application Performance.	IPDPS	2003	DBLP DOI BibTeX RDF
1	Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao	Building Certified Libraries for PCC: Dynamic Storage Allocation.	ESOP	2003	DBLP DOI BibTeX RDF
1	Gang Ren, Peng Wu, David A. Padua	A Preliminary Study on the Vectorization of Multimedia Applications for Multimedia Extensions.	LCPC	2003	DBLP DOI BibTeX RDF
1	Duncan S. Wong, Hector Ho Fuentes, Agnes Hui Chan	The Performance Measurement of Cryptographic Primitives on Palm Devices.	ACSAC	2001	DBLP DOI BibTeX RDF
1	Jim Nilsson, Fredrik Dahlgren	Improving Performance of Load-Store Sequences for Transaction Processing Workloads on Multiprocessors. (PDF / PS)	ICPP	1999	DBLP DOI BibTeX RDF	load-store sequences, performance evaluation, databases, operating systems, multiprocessors, computer architecture, transaction processing, cache coherence protocols
1	Anatoly Petrovich Beltiukov	Automatical Synthesis of Programs with Recursions.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF