Search results for "Multi-threaded"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Arun Raman, Hanjun Kim, Thomas R. Mason, Thomas B. Jablin, David I. August	Speculative parallelization using software multi-threaded transactions.	ASPLOS	2010	DBLP DOI BibTeX RDF	multi-threaded transactions, automatic parallelization, software transactional memory, thread-level speculation, loop-level parallelism, pipelined parallelism
3	Wen-Hao Liu, Wei-Chun Kao, Yih-Lang Li, Kai-Yuan Chao	Multi-threaded collision-aware global routing with bounded-length maze routing.	DAC	2010	DBLP DOI BibTeX RDF	multi-threaded, global routing, maze routing
3	Ayla Dantas, Francisco Vilar Brasileiro, Walfredo Cirne	Improving Automated Testing of Multi-threaded Software.	ICST	2008	DBLP DOI BibTeX RDF	multi-threaded systems development, Aspect-Oriented Programming, test-driven development, Automated testing, application monitoring
3	M. Aater Suleman, Moinuddin K. Qureshi, Yale N. Patt	Feedback-driven threading: power-efficient and high-performance execution of multi-threaded workloads on CMPs.	ASPLOS	2008	DBLP DOI BibTeX RDF	synchronization, CMP, bandwidth, multi-threaded
3	Ayla Dantas	Improving developers' confidence in test results of multi-threaded systems: avoiding early and late assertions.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	multi-threaded systems testing, aspect-oriented programming, software monitoring
3	Han Chen, Pasquale Malacaria	Quantitative analysis of leakage for multi-threaded programs.	PLAS	2007	DBLP DOI BibTeX RDF	multi-threaded languages, security, information theory
3	Sangho Yi, Hong Min, Seungwoo Lee, Yeongkwun Kim, Injoo Jeong	SESAME: space-efficient stack allocation mechanism for multi-threaded sensor operating systems.	SAC	2007	DBLP DOI BibTeX RDF	multi-threaded model, thread stack management, operating system, process management
3	Thao Dang, Philippe Gerner	Scheduling for multi-threaded real-time programs via path planning.	EMSOFT	2006	DBLP DOI BibTeX RDF	PV programs, multi-threaded real-time programs, scheduling, path planning
3	Bixin Li, Yancheng Wang, Lili Yang	An Integrated Regression Testing Framework to Multi-Threaded Java Programs.	SET	2006	DBLP DOI BibTeX RDF	Regression testing, Multi-threaded program, Reachability testing
3	Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson	Multi-threaded reachability.	DAC	2005	DBLP DOI BibTeX RDF	parallel, multi-threaded, reachability analysis
3	Wael R. Elwasif, David E. Bernholdt, James Arthur Kohl, G. A. Geist II	An Architecture for a Multi-threaded Harness Kernel.	PVM/MPI	2001	DBLP DOI BibTeX RDF	Harness, Parallel Plug-ins, Virtual Machines, Multi-threaded, PVM
3	Michael Mrva, Klaus Buchenrieder, Rainer Kress	A Scalable Architecture for Multi-threaded JAVA Applications.	DATE	1998	DBLP DOI BibTeX RDF	Java, configurable, multi-threaded, application-specific
3	Sachin More, Alok N. Choudhary, Ian T. Foster, Ming Q. Xu	MTIO - A Multi-Threaded Parallel I/O System. (PDF / PS)	IPPS	1997	DBLP DOI BibTeX RDF	MTIO, multi-threaded runtime library, computation tasks, asynchronous I/O, copy avoidance, I/O thread, compute thread, optimal buffer size, large requests, performance, load balance, concurrency, file system, data distributions, software libraries, communication overhead, access patterns, collective I/O, IBM SP2, shared address space, parallel I/O system
2	Lucas Cordeiro	SMT-based bounded model checking for multi-threaded software in embedded systems.	ICSE	2010	DBLP DOI BibTeX RDF	SAT modulo theories, formal software verification, multicore systems, computer-aided verification
2	Xuping Tu, Hai Jin, Zhibin Yu, Jie Chen, Yabin Hu	MT-BTRIMER: A Master-Slave Multi-threaded Dynamic Binary Translator.	FCST	2010	DBLP DOI BibTeX RDF	DBT, Master-Slave Architecture, Speculative Translation, Load Balance, Multi-threaded
2	Martin Zabel, Rainer G. Spallek	Application requirements and efficiency of embedded Java bytecode multi-cores.	JTRES	2010	DBLP DOI BibTeX RDF	multi-core, multi-threaded, realtime, Java bytecode
2	Iulian Neamtiu, Michael W. Hicks	Safe and timely updates to multi-threaded programs.	PLDI	2009	DBLP DOI BibTeX RDF	update safety, update timeliness, multi-threading, dynamic software updating
2	Werner Backes, Susanne Wetzel	Parallel Lattice Basis Reduction Using a Multi-threaded Schnorr-Euchner LLL Algorithm.	Euro-Par	2009	DBLP DOI BibTeX RDF
2	Mu-Kai Huang, J. Morris Chang, Wei-Mei Chen	Grouping-Based Dynamic Power Management for Multi-threaded Programs in Chip-Multiprocessors.	CSE	2009	DBLP DOI BibTeX RDF
2	Qiming Teng, Peter F. Sweeney, Evelyn Duesterwald	Understanding the cost of thread migration for multi-threaded Java applications running on a multicore platform.	ISPASS	2009	DBLP DOI BibTeX RDF
2	Gabor Szeder	Unit testing for multi-threaded Java programs.	PADTAD	2009	DBLP DOI BibTeX RDF	Java
2	K. Rustan M. Leino, Peter Müller	A Basis for Verifying Multi-threaded Programs.	ESOP	2009	DBLP DOI BibTeX RDF
2	Dapeng Liu, Shaochun Xu	MuTT: A Multi-Threaded Tracer for Java Programs.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
2	Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar	Speculative N-Way barriers.	DAMP	2009	DBLP DOI BibTeX RDF	fork/join execution, n-way barriers, speculation, multi-threaded programs
2	Nan Zhang	Computing Parallel Speeded-Up Robust Features (P-SURF) via POSIX Threads.	ICIC	2009	DBLP DOI BibTeX RDF	Multi-threaded computing, Local feature extraction, Image processing, Parallel programming, Machine intelligence
2	Mladen Berekovic, Tim Niggemeier	A Distributed, Simultaneously Multi-Threaded (SMT) Processor with Clustered Scheduling Windows for Scalable DSP Performance.	Signal Processing Systems	2008	DBLP DOI BibTeX RDF	clustering, distributed computing, DSP, MPEG-4, multi-threading, processor architecture, SMT
2	Riccardo Focardi, Matteo Centenaro	Information flow security of multi-threaded distributed programs.	PLAS	2008	DBLP DOI BibTeX RDF	symbolic cryptography, information flow, bisimulation, language-based security
2	Bijoy A. Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin	On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications.	MEMOCODE	2008	DBLP DOI BibTeX RDF
2	Ali Jannesari, Walter F. Tichy	On-the-fly race detection in multi-threaded programs.	PADTAD	2008	DBLP DOI BibTeX RDF	lockset, parallel programs, debugging, dynamic analysis, race conditions, race detection, multi-threaded programming, happens-before
2	Pascal Vander-Swalmen, Gilles Dequen, Michaël Krajecki	On Multi-threaded Satisfiability Solving with OpenMP.	IWOMP	2008	DBLP DOI BibTeX RDF	collaborative, parallel, combinatorial optimization, satisfiability, OpenMP, dll
2	Guilherme Ottoni, David I. August	Communication optimizations for global multi-threaded instruction scheduling.	ASPLOS	2008	DBLP DOI BibTeX RDF	graph min-cut, communication, synchronization, data-flow analysis, multi-threading, instruction scheduling
2	Bo Hong	A lock-free multi-threaded algorithm for the maximum flow problem.	IPDPS	2008	DBLP DOI BibTeX RDF
2	Dougal A. Lyon	Multi-threaded data mining of EDGAR CIKs (Central Index Keys) from ticker symbols.	IPDPS	2008	DBLP DOI BibTeX RDF
2	Anna Zaks, Rajeev Joshi	Verifying Multi-threaded C Programs with SPIN.	SPIN	2008	DBLP DOI BibTeX RDF
2	Uwe Brinkschulte, Mathias Pacher	A Control Theory Approach to Improve the Real-Time Capability of Multi-Threaded Microprocessors.	ISORC	2008	DBLP DOI BibTeX RDF	Control theory in high-end microprocessors, real-time microprocessors, IPC rate
2	Cristiano Pereira, Harish Patil, Brad Calder	Reproducible simulation of multi-threaded workloads for architecture design exploration.	IISWC	2008	DBLP DOI BibTeX RDF
2	Clay Hughes, Tao Li	Accelerating multi-core processor design space evaluation using automatic multi-threaded workload synthesis.	IISWC	2008	DBLP DOI BibTeX RDF
2	David R. Pratt, Robert W. Franceschini, Robert B. Burch, Robert S. Alexander	A multi threaded and resolution approach to simulated futures evaluation.	Winter Simulation Conference	2008	DBLP DOI BibTeX RDF
2	Fabrice de Chaumont, Nicolas Chenouard, Aurelie Mouret, Pierre Marie Lledo, Jean-Christophe Olivo-Marin	A multi-threaded program architecture for an asynchronous and highly responsive GUI for automatic neuronal survival quantification.	ISBI	2008	DBLP DOI BibTeX RDF
2	Qiong Cai, José González, Ryan Rakvic, Grigorios Magklis, Pedro Chaparro, Antonio González	Meeting points: using thread criticality to adapt multicore hardware to parallel regions.	PACT	2008	DBLP DOI BibTeX RDF	critical threads, meeting point thread characterization, multi-threaded application, thread balancing, thread delaying, low-power, microarchitecture, energy-aware
2	Shmuel Ur, Scott D. Stoller, Eitan Farchi	6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08).	ISSTA	2008	DBLP DOI BibTeX RDF	testing, parallel, concurrent, debugging, distributed, multi-threaded
2	Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau	Towards Efficient Verification of Systems with Dynamic Process Creation.	ICTAC	2008	DBLP DOI BibTeX RDF	multi-threaded systems, marking symmetries, Petri nets, state-space generation
2	Frank S. de Boer	A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs.	FMOODS	2007	DBLP DOI BibTeX RDF
2	Yusen Li, Feng Wang, Gang Wang, Xiaoguang Liu, Jing Liu	MKtrace: An Innovative Debugging Tool for Multi-Threaded Programs on Multiprocessor Systems.	APSEC	2007	DBLP DOI BibTeX RDF
2	Martin Zabel, Thomas B. Preußer, Peter Reichel, Rainer G. Spallek	Secure, Real-Time and Multi-Threaded General-Purpose Embedded Java Microarchitecture.	DSD	2007	DBLP DOI BibTeX RDF
2	Guilherme Ottoni, David I. August	Global Multi-Threaded Instruction Scheduling.	MICRO	2007	DBLP DOI BibTeX RDF
2	Partha Tirumalai, Yonghong Song, Spiros Kalogeropulos	Performance Evaluation of Evolutionary Multi-core and Aggressively Multi-threaded Processor Architectures.	Asia-Pacific Computer Systems Architecture Conference	2007	DBLP DOI BibTeX RDF
2	Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan	An Experimental Comparison of Event Driven and Multi-Threaded Sensor Node Operating Systems.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
2	Ta-Chung Tsai, Alejandro Russo, John Hughes	A Library for Secure Multi-threaded Information Flow in Haskell.	CSF	2007	DBLP DOI BibTeX RDF
2	Susanne M. Balle, Daniel J. Palermo	Enhancing an Open Source Resource Manager with Multi-core/Multi-threaded Support.	JSSPP	2007	DBLP DOI BibTeX RDF
2	Arndt Mühlenfeld, Franz Wotawa	Fault detection in multi-threaded c++ server applications.	PPOPP	2007	DBLP DOI BibTeX RDF	static-dynamic co-analysis, parallel programs, synchronization, object-oriented programming, debugging, data races, race conditions, multi-threaded programming
2	Tamar Benaya, Ela Zur	Understanding threads in an advanced java course.	ITiCSE	2007	DBLP DOI BibTeX RDF	synchronization, deadlock, multi-threaded programming
2	Dhiraj D. Kalamkar, Mainak Chaudhuri, Mark Heinrich	Simplifying Active Memory Clusters by Leveraging Directory Protocol Threads.	ISPASS	2007	DBLP DOI BibTeX RDF	active memory cluster, directory protocol thread, active memory address remapping, parallel reduction, coherence protocol extension, software protocol, multi-threaded node, dual-core node, active memory architecture, distributed shared memory, multiprocessor architecture, memory controller, matrix transpose
2	Myra B. Cohen, Shiu Beng Kooi, Witawas Srisa-an	Clustering the heap in multi-threaded applications for improved garbage collection.	GECCO	2006	DBLP DOI BibTeX RDF	heap clustering, virtual machines, garbage collection, hill climbing, search based software engineering
2	Shlomit S. Pinter, Marcel Zalmanovici	Data Sharing Conscious Scheduling for Multi-threaded Applications on SMP Machines.	Euro-Par	2006	DBLP DOI BibTeX RDF
2	Xin Li, Marian Boldt, Reinhard von Hanxleden	Mapping esterel onto a multi-threaded embedded processor.	ASPLOS	2006	DBLP DOI BibTeX RDF	low-power processing, concurrency, reactive systems, multi-threading, esterel
2	Ali El-Moursy, R. Garg, David H. Albonesi, Sandhya Dwarkadas	Compatible phase co-scheduling on a CMP of multi-threaded processors.	IPDPS	2006	DBLP DOI BibTeX RDF
2	Ryan E. Grant, Ahmad Afsahi	Power-performance efficiency of asymmetric multiprocessors for multi-threaded scientific applications.	IPDPS	2006	DBLP DOI BibTeX RDF
2	Peter Dawson, Geoffrey T. Parks, Daniel Jaeggi, Arturo Molina-Cristobal, P. John Clarkson	The Development of a Multi-threaded Multi-objective Tabu Search Algorithm.	EMO	2006	DBLP DOI BibTeX RDF
2	Peter Rounce, Alberto Ferreira de Souza	The mDTSVLIW: a Multi-Threaded Trace-based VLIW Architecture.	SBAC-PAD	2006	DBLP DOI BibTeX RDF
2	Koushik Sen, Gul Agha	A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
2	David W. Mutschler	Enhancement of memory pools toward a multi-threaded implementation of the joint integrated mission model (JIMM).	Winter Simulation Conference	2006	DBLP DOI BibTeX RDF
2	Raj Varada, Mysore Sriram, Kris Chou, James Guzzo	Design and integration methods for a multi-threaded dual core 65nm Xeon® processor.	ICCAD	2006	DBLP DOI BibTeX RDF	Xeon®, Integration, Design Methods, processor
2	Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks	LOCKSMITH: context-sensitive correlation analysis for race detection.	PLDI	2006	DBLP DOI BibTeX RDF	locksmith, correlation, type inference, context-sensitivity, race detection, multi-threaded programming
2	Uwe Brinkschulte, Mathias Pacher, Florentin Picioroaga, Stefan Gaa	Evaluation of the Komodo Microcontroller and the OSA+ Middleware Using an Autonomous Guided Vehicle.	ISORC	2006	DBLP DOI BibTeX RDF	Autonomous guided vehicle, multi-threaded microcontroller, real-time middleware
2	Keith L. Clark, Peter J. Robinson, Silvana Zappacosta-Amboldi	Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper).	CLIMA	2005	DBLP DOI BibTeX RDF
2	Shady Copty, Shmuel Ur	Multi-threaded Testing with AOP Is Easy, and It Finds Bugs!.	Euro-Par	2005	DBLP DOI BibTeX RDF
2	Vincent Danjean, Raymond Namyst, Pierre-André Wacrenier	An Efficient Multi-level Trace Toolkit for Multi-threaded Applications.	Euro-Par	2005	DBLP DOI BibTeX RDF
2	Vijaykumar Ramamurthi, Jason McCollum, Christopher Ostler, Karam S. Chatha	System Level Methodology for Programming CMP Based Multi-Threaded Network Processor Architectures.	ISVLSI	2005	DBLP DOI BibTeX RDF
2	R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Dillon	Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems.	SEW	2005	DBLP DOI BibTeX RDF
2	Gyu Sang Choi, Jin-Ha Kim, Deniz Ersoz, Chita R. Das	A multi-threaded PIPELINED Web server architecture for SMP/SoC machines.	WWW	2005	DBLP DOI BibTeX RDF	asynchronous multi-process event-driven, single event-driven process, symmetric multi-processor, system-on-chip, multi-thread, multi-process
2	Reimer Behrends, R. E. Kurt Stirewalt, Laura K. Dillon	A Component-Oriented Model for the Design of Safe Multi-threaded Applications.	CBSE	2005	DBLP DOI BibTeX RDF
2	Saddek Bensalem, Klaus Havelund	Dynamic Deadlock Analysis of Multi-threaded Programs.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
2	Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby	Extending JML for Modular Specification and Verification of Multi-threaded Programs.	ECOOP	2005	DBLP DOI BibTeX RDF
2	David G. Mathisen, Robert W. Carey	Orchestrating shots for the national ignition racility.	SIGAda	2005	DBLP DOI BibTeX RDF	java, XML, architecture, concurrency, workflow, framework, CORBA, multi-threaded, state machine, model-based, data driven, Ada95
2	Keith L. Clark, Francis G. McCabe	Go! - A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	threads, agent programming, multi-paradigm programming
2	Yaniv Eytani, Shmuel Ur	Compiling a Benchmark of Documented Multi-Threaded Bugs.	IPDPS	2004	DBLP DOI BibTeX RDF
2	Christian Duriez, Claude Andriot, Abderrahmane Kheddar	A Multi-Threaded Approach for Deformable/Rigid Contacts with Haptic Feedback.	HAPTICS	2004	DBLP DOI BibTeX RDF
2	Ki-Hyung Kim, Won-Seok Kang	CORBA-Based, Multi-threaded Distributed Simulation of Hierarchical DEVS Models: Transforming Model Structure into a Non-hierarchical One.	ICCSA	2004	DBLP DOI BibTeX RDF
2	Christoph von Praun, Thomas R. Gross	Static conflict analysis for multi-threaded object-oriented programs.	PLDI	2003	DBLP DOI BibTeX RDF	heap shape graph, object use graph, representations for concurrent programs, program analysis, race detection
2	Abhik Roychoudhury	Depiction and Playout of Multi-threaded Program Executions.	ASE	2003	DBLP DOI BibTeX RDF
2	Klaus Havelund, Scott D. Stoller, Shmuel Ur	Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools . (PDF / PS)	IPDPS	2003	DBLP DOI BibTeX RDF
2	Keith L. Clark, Francis G. McCabe	Go! for Multi-Threaded Deliberative Agents.	DALT	2003	DBLP DOI BibTeX RDF
2	Chris R. Jesshope	Multi-threaded Microprocessors - Evolution or Revolution.	Asia-Pacific Computer Systems Architecture Conference	2003	DBLP DOI BibTeX RDF
2	Arjav J. Chakravarti, Xiaojin Wang, Jason O. Hallstrom, Gerald Baumgartner	Implementation of Strong Mobility for Multi-Threaded Agents in Java.	ICPP	2003	DBLP DOI BibTeX RDF
2	Hervé Paulino, Pedro Marques, Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva	A Multi-threaded Asynchronous Language.	PaCT	2003	DBLP DOI BibTeX RDF
2	Keith L. Clark, Francis G. McCabe	Go! for multi-threaded deliberative agents.	AAMAS	2003	DBLP DOI BibTeX RDF	multi-threaded agents, multi-agent systems, logic programming, reactive programming
2	Alaa R. Alameldeen, David A. Wood	Variability in Architectural Simulations of Multi-Threaded Workloads.	HPCA	2003	DBLP DOI BibTeX RDF
2	Chandra N. Sekharan, Krishnan Saranathan, Raj Sivakumar, Zia Taherbhai	Scalability and Performance of Multi-threaded Algorithms for International Fare Construction on High-Performance Machines.	HiPC	2002	DBLP DOI BibTeX RDF
2	Luc Séméria, Renu Mehra, Barry M. Pangrle, Arjuna Ekanayake, Andrew Seawright, Daniel Ng	RTL c-based methodology for designing and verifying a multi-threaded processor.	DAC	2002	DBLP DOI BibTeX RDF	formal equivalence, design, verification, RTL, checking, C/C++
2	Cyrille Artho, Armin Biere	Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF
2	Kazunori Iwata, Shingo Itabashi, Naohiro Ishii	A Protocol for Multi-Threaded Processes with Choice in pi-Calculus.	International Conference on Computational Science	2001	DBLP DOI BibTeX RDF
2	Heiko Mantel, Andrei Sabelfeld	A Generic Approach to the Security of Multi-Threaded Programs.	CSFW	2001	DBLP DOI BibTeX RDF
2	Amir A. Khwaja	An MFC Based Multi-Threaded Test Environment for the Validation of an Embedded Automotive Microcontroller.	TOOLS	2000	DBLP DOI BibTeX RDF	embedded microcontrollers, MFC, Object-orientation, system validation
2	Jayanth Gummaraju, Manoj Franklin	Branch Prediction in Multi-Threaded Processors.	IEEE PACT	2000	DBLP DOI BibTeX RDF
2	Suchendra M. Bhandarkar, Shankar R. Chandrasekaran	Parallel Parsing of MPEG Video in a Multi-threaded Multiprocessor Environment.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
2	Bjarne Steensgaard	Thread-Specific Heaps for Multi-Threaded Programs.	ISMM	2000	DBLP DOI BibTeX RDF
2	Andrei Sabelfeld, David Sands	Probabilistic Noninterference for Multi-Threaded Programs. (PDF / PS)	CSFW	2000	DBLP DOI BibTeX RDF	probabilistic bisimulation, probabilistic scheduling, probabilistic covert channels, hook-up, type-system-based analysis, semantics, confidentiality, noninterference
2	Sung-Eun Choi, E. Christopher Lewis	A study of common pitfalls in simple multi-threaded programs.	SIGCSE	2000	DBLP DOI BibTeX RDF
2	Amitava Majumdar	arallel Performance Study of Monte Carlo Photon Transport Code on Shared-, Distributed-, and Distributed-Shared-Memory Architectures. (PDF / PS)	IPDPS	2000	DBLP DOI BibTeX RDF	MPI and hybrid MPI/OpenMP programming, Tera MTA, Symmetric Multiprocessing IBM SP, Monte Carlo photon transport algorithm, OpenMP, Multi-threaded, parallel performance, Cray T3E