Search results for "highly-concurrent"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
46	Maurice Herlihy, Jeannette M. Wing	Linearizable concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
31	David Harel	Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering.	RE	1997	DBLP DOI BibTeX RDF	reactive highly concurrent systems, calculus of communicating systems, formal specification, parallel programming, system design, systems engineering, communicating sequential processes, applied research
31	Maurice Herlihy, Eric Koskinen	Transactional boosting: a methodology for highly-concurrent transactional objects.	PPoPP	2008	DBLP DOI BibTeX RDF	abstract locks, transactional boosting, transactional memory, commutativity, non-blocking algorithms
31	Sunan Tugsinavisut, Roger Su, Peter A. Beerel	High-level Synthesis for Highly Concurrent Hardware Systems.	ACSD	2006	DBLP DOI BibTeX RDF
25	Pradeep Varma	Anchored Text for Software Weaving and Merging.	SSIRI	2009	DBLP DOI BibTeX RDF	software weaving, multi-dimensional separation of concerns (MDSOC), simultaneous concerns, highly-concurrent, porting concerns, refactoring, atomic registers, anchored text, software merging
23	Meijuan Xia, Guofeng Qin	The research and implementation of a highly concurrent and highly available system for acquiring personal virtual assets.	CISP-BMEI	2017	DBLP DOI BibTeX RDF
21	Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh	Verifying linearizability with hindsight.	PODC	2010	DBLP DOI BibTeX RDF	hindsight, linearizability, wait-freedom, optimistic concurrency
21	Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro 0001	Proving correctness of highly-concurrent linearisable objects.	PPoPP	2006	DBLP DOI BibTeX RDF	rely-guarantee reasoning, shared-memory concurrency, formal verification, concurrent programming, linearisability
21	David B. Lomet	Simple, Robust and Highly Concurrent B-trees with Node Deletion.	ICDE	2004	DBLP DOI BibTeX RDF
21	Ravi Rajwar, James R. Goodman	Speculative lock elision: enabling highly concurrent multithreaded execution.	MICRO	2001	DBLP DOI BibTeX RDF
21	Mohammed Fadle Abdulla, C. P. Ravikumar, Anshul Kumar	Optimization of Mutual and Signature Testing Schemes for Highly Concurrent Systems.	J. Electron. Test.	1998	DBLP DOI BibTeX RDF	mutual checking, multiple signature testing, self loops, built-in self test, aliasing
21	Markos Zaharioudakis, Michael J. Carey 0001	Highly Concurrent Cache Consistency for Indices in Client-Server Database Systems.	SIGMOD Conference	1997	DBLP DOI BibTeX RDF
21	Kenneth J. Goldman	Highly Concurrent Logically Synchronous Multicast.	WDAG	1989	DBLP DOI BibTeX RDF
20	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study.	CAV	2006	DBLP DOI BibTeX RDF
20	Peter Damaschke, Phuong Hoai Ha, Philippas Tsigas	Competitive Freshness Algorithms for Wait-Free Data Objects.	Euro-Par	2006	DBLP DOI BibTeX RDF
20	Maurice Herlihy	Taking concurrency seriously (position paper).	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
15	Daniel Cederman, Philippas Tsigas	Supporting lock-free composition of concurrent data objects.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	data structures, composition, lock-free
15	Daniel Cederman, Philippas Tsigas	Supporting lock-free composition of concurrent data objects.	PPoPP	2010	DBLP DOI BibTeX RDF	data structures, composition, lock-free
15	William P. McCartney, Nigamanth Sridhar	Abstractions for safe concurrent programming in networked embedded systems.	SenSys	2006	DBLP DOI BibTeX RDF	wireless sensor networks, static analysis, multi-threading, programming methodology
15	Frédéric Peschanski, Samuel Hym	A stackless runtime environment for a Pi-calculus.	VEE	2006	DBLP DOI BibTeX RDF	garbage collection, interpreter, operational semantics, Pi-calculus
15	Weilue Wang, Yujuan Tan, Changze Wu, Duo Liu, Yu Wu 0016, Longpan Luo, Xianzhang Chen	Towards highly-concurrent leaderless state machine replication for distributed systems.	J. Syst. Archit.	2022	DBLP DOI BibTeX RDF
15	Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson 0001, Ahmed Rezine	Correction to: An integrated specification and verification technique for highly concurrent data structures.	Int. J. Softw. Tools Technol. Transf.	2021	DBLP DOI BibTeX RDF
15	Jacob Nelson 0002, Ahmed Hassan, Roberto Palmieri	Bundled references: an abstraction for highly-concurrent linearizable range queries.	PPoPP	2021	DBLP DOI BibTeX RDF
15	Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison 0001, Aleksandar Nanevski, Noam Rinetzky, Sharon Shoham	Proving highly-concurrent traversals correct.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
15	Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison 0001, Aleksandar Nanevski, Noam Rinetzky, Sharon Shoham	Proving Highly-Concurrent Traversals Correct.	CoRR	2020	DBLP BibTeX RDF
15	Mohammad Sadrosadati, Amirhossein Mirhosseini, Ali Hajiabadi, Seyed Borna Ehsani, Hajar Falahati, Hamid Sarbazi-Azad, Mario Drumond, Babak Falsafi, Rachata Ausavarungnirun, Onur Mutlu	Enabling High-Capacity, Latency-Tolerant, and Highly-Concurrent GPU Register Files via Software/Hardware Cooperation.	CoRR	2020	DBLP BibTeX RDF
15	Jacob Nelson 0002, Ahmed Hassan, Roberto Palmieri	Bundled References: An Abstraction for Highly-Concurrent Linearizable Range Queries.	CoRR	2020	DBLP BibTeX RDF
15	Terence Kelly	Programming Workbench: Hand-Over-Hand Locking for Highly Concurrent Collections.	login Usenix Mag.	2020	DBLP BibTeX RDF
15	Florian Adamsky, Daniel Kaiser 0001, Michael Steglich, Thomas Engel 0001	Locust: Highly Concurrent DHT Experimentation Framework for Security Evaluations.	ICCNS	2020	DBLP DOI BibTeX RDF
15	Mohammad Sadrosadati, Amirhossein Mirhosseini, Ali Hajiabadi, Seyed Borna Ehsani, Hajar Falahati, Hamid Sarbazi-Azad, Mario Drumond, Babak Falsafi, Rachata Ausavarungnirun, Onur Mutlu	Highly Concurrent Latency-tolerant Register Files for GPUs.	ACM Trans. Comput. Syst.	2019	DBLP DOI BibTeX RDF
15	Stefan Nothaas, Kevin Beineke, Michael Schöttner	Leveraging InfiniBand for Highly Concurrent Messaging in Java Applications.	ISPDC	2019	DBLP DOI BibTeX RDF
15	Stefan Nothaas, Kevin Beineke, Michael Schöttner	Ibdxnet: Leveraging InfiniBand in Highly Concurrent Java Applications.	CoRR	2018	DBLP BibTeX RDF
15	Jingwei Zhang 0003, Li Feng, Qing Yang 0012, Yuming Lin	Schema-Driven Performance Evaluation for Highly Concurrent Scenarios.	DASFAA Workshops	2018	DBLP DOI BibTeX RDF
15	Tao Zhang 0019, Jianxin Wang 0001, Jiawei Huang 0001, Jianer Chen, Yi Pan 0001, Geyong Min	Tuning the Aggressive TCP Behavior for Highly Concurrent HTTP Connections in Intra-Datacenter.	IEEE/ACM Trans. Netw.	2017	DBLP DOI BibTeX RDF
15	Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson 0001, Ahmed Rezine	An integrated specification and verification technique for highly concurrent data structures.	Int. J. Softw. Tools Technol. Transf.	2017	DBLP DOI BibTeX RDF
15	Thomas D. Dickerson, Paul Gazzillo, Eric Koskinen, Maurice Herlihy	Proust: A Design Space for Highly-Concurrent Transactional Data Structures.	CoRR	2017	DBLP BibTeX RDF
15	Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen	Brief Announcement: Proust: A Design Space for Highly-Concurrent Transactional Data Structures.	PODC	2017	DBLP DOI BibTeX RDF
15	Dave Dice, Maurice Herlihy, Alex Kogan	Fast non-intrusive memory reclamation for highly-concurrent data structures.	ISMM	2016	DBLP DOI BibTeX RDF
15	Jiawei Huang 0001, Jianxin Wang 0001, Tao Zhang 0019, Jianer Chen, Yi Pan 0001	Tuning the Aggressive TCP Behavior for Highly Concurrent HTTP Connections in Data Center.	ICDCS	2016	DBLP DOI BibTeX RDF
15	Yiannis Nikolakopoulos, Marina Papatriantafilou, Peter Brauer, Martin Lundqvist, Vincenzo Gulisano, Philippas Tsigas	Highly Concurrent Stream Synchronization in Many-core Embedded Systems.	MES@ISCA	2016	DBLP DOI BibTeX RDF
15	Mumtaz Ahmad 0002, Abdessamad Imine, Houari Mahfoud	A Highly Concurrent Replicated Data Structure EAI Endorsed Transactions.	EAI Endorsed Trans. Collab. Comput.	2015	DBLP DOI BibTeX RDF
15	Jiawei Huang 0001, Yi Huang 0005, Jianxin Wang 0001, Tian He 0001	Packet Slicing for Highly Concurrent TCPs in Data Center Networks with COTS Switches.	ICNP	2015	DBLP DOI BibTeX RDF
15	Brandon Holt, Irene Zhang, Dan R. K. Ports, Mark Oskin, Luis Ceze	Claret: using data types for highly concurrent distributed transactions.	PaPoC@EuroSys	2015	DBLP DOI BibTeX RDF
15	Tinghuai Ma, Chenghui Wu, Wei Tian 0002, Wenhai Shen	The performance improvements of highly-concurrent grid-based server.	Simul. Model. Pract. Theory	2014	DBLP DOI BibTeX RDF
15	Hagit Attiya, Eshcar Hillel	Built-in Coloring for Highly-Concurrent Doubly-Linked Lists.	Theory Comput. Syst.	2013	DBLP DOI BibTeX RDF
15	Xiaogang Shi, Yanfei Lv, Yingxia Shao, Bin Cui 0001	bCATE: A Balanced Contention-Aware Transaction Execution Model for Highly Concurrent OLTP Systems.	WAIM	2013	DBLP DOI BibTeX RDF
15	Barzan Mozafari, Carlo Curino, Alekh Jindal, Samuel Madden 0001	Performance and resource modeling in highly-concurrent OLTP workloads.	SIGMOD Conference	2013	DBLP DOI BibTeX RDF
15	Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson 0001, Ahmed Rezine	An Integrated Specification and Verification Technique for Highly Concurrent Data Structures.	TACAS	2013	DBLP DOI BibTeX RDF
15	Iraklis Psaroudakis, Tobias Scheuer, Norman May, Anastasia Ailamaki	Task Scheduling for Highly Concurrent Analytical and Transactional Main-Memory Workloads.	ADMS@VLDB	2013	DBLP BibTeX RDF
15	Dongyao Wu, Jun Wei 0001, Chushu Gao, Wensheng Dou	A Highly Concurrent Process Virtual Machine Based on Event-driven Process Execution Model.	ICEBE	2012	DBLP DOI BibTeX RDF
15	Mohamed M. Saad, Binoy Ravindran	Transactional Forwarding: Supporting Highly-Concurrent STM in Asynchronous Distributed Systems.	SBAC-PAD	2012	DBLP DOI BibTeX RDF
15	Bin Dong 0004, Xiuqiao Li, Limin Xiao, Li Ruan	A New File-Specific Stripe Size Selection Method for Highly Concurrent Data Access.	GRID	2012	DBLP DOI BibTeX RDF
15	Hagit Attiya, Eshcar Hillel	Highly concurrent multi-word synchronization.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
15	Nitin Garg, Ed Zhu, Fabiano C. Botelho	Highly-Concurrent Doubly-Linked Lists	CoRR	2011	DBLP BibTeX RDF
15	Diana Moise, Gabriel Antoniu, Luc Bougé	Large-scale distributed storage for highly concurrent Mapreduce applications.	IPDPS Workshops	2010	DBLP DOI BibTeX RDF
15	Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi	Context oriented programming in highly concurrent systems.	COP@ECOOP	2010	DBLP DOI BibTeX RDF
15	George Candea, Neoklis Polyzotis, Radek Vingralek	A Scalable, Predictable Join Operator for Highly Concurrent Data Warehouses. (PDF / PS)	Proc. VLDB Endow.	2009	DBLP DOI BibTeX RDF
15	Maurice Herlihy	Technical perspective - Highly concurrent data structures.	Commun. ACM	2009	DBLP DOI BibTeX RDF
15	Kunal Korgaonkar, K. George, M. Gautam, V. Kamakoti 0001	HTM design spaces: complete decoupling from caches and achieving highly concurrent transactions.	ACM SIGOPS Oper. Syst. Rev.	2009	DBLP DOI BibTeX RDF
15	Hagit Attiya, Eshcar Hillel	Highly-Concurrent Multi-word Synchronization.	ICDCN	2008	DBLP DOI BibTeX RDF
15	Ryan C. Underwood, Bruce M. McMillin, Mariesa L. Crow	An Open Framework for Highly Concurrent Real-Time Hardware-in-the-Loop Simulation.	COMPSAC	2008	DBLP DOI BibTeX RDF	HIL, Simulation, Real-Time, Power
15	Hagit Attiya, Eshcar Hillel	The power of DCAS: highly-concurrent software transactional memory.	PODC	2007	DBLP DOI BibTeX RDF	nonblocking implementations, synchronization, locality, transactional memory, contention management
15	Ori Shalev	Techniques for building highly concurrent data structures		2007	RDF
15	K. Vidyasankar	A Highly Concurrent Group Mutual L-exclusion Algorithm.	Parallel Process. Lett.	2006	DBLP DOI BibTeX RDF
15	Pramod Kumar Meher	Highly concurrent reduced-complexity 2-D systolic array for discrete Fourier transform.	IEEE Signal Process. Lett.	2006	DBLP DOI BibTeX RDF
15	Hagit Attiya, Eshcar Hillel	Built-In Coloring for Highly-Concurrent Doubly-Linked Lists.	DISC	2006	DBLP DOI BibTeX RDF
15	Masataka Takamura, Yoshihide Igarashi	Highly Concurrent Group Mutual Exclusion Algorithms Based on Ticket Orders.	IEICE Trans. Inf. Syst.	2004	DBLP BibTeX RDF
15	Carl H. Hauser, David B. Benson	On the Practicality and Desirability of Highly-concurrent, Mostly-functional Programming.	ACSD	2004	DBLP DOI BibTeX RDF
15	Willy Picard, Wojciech Cellary	Electronic Negotiations in a Highly Concurrent Environment.	I3E	2002	DBLP BibTeX RDF
15	K. Vidyasankar	A highly concurrent group mutual /-exclusion algorithm0.	PODC	2002	DBLP DOI BibTeX RDF
15	Willy Picard	Collaborative Document Edition in a Highly Concurrent Environment.	DEXA Workshops	2001	DBLP DOI BibTeX RDF
15	Khalil Amiri, Garth A. Gibson, Richard A. Golding	Highly Concurrent Shared Storage.	ICDCS	2000	DBLP DOI BibTeX RDF
15	Christian Jacobi 0002, Cédric Lichtenau	Highly Concurrent Locking in Shared Memory Database Systems.	Euro-Par	1999	DBLP DOI BibTeX RDF
15	Keith L. Clark, Tzone I. Wang	Highly Concurrent Distributed Knowledge Objects.	COOTS	1996	DBLP BibTeX RDF
15	Joseph P. Skudlarek	Notes on "A Methodology for Implementing Highly Concurrent Data Objects".	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF
15	Joseph P. Skudlarek	Remarks on A Methodoly for Implementing Highly Concurrent Data Objects.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF
15	Theodore Johnson	A Highly Concurrent Priority Queue.	J. Parallel Distributed Comput.	1994	DBLP DOI BibTeX RDF
15	Kazuo Taki, Nobuyuki Ichiyoshi	Parallel processing on the multi-PSI computer and its evaluation - a programming paradigm based on a small-grain highly concurrent object model.	Syst. Comput. Jpn.	1994	DBLP DOI BibTeX RDF
15	W. Craig Scratchley	Using Smalltalk for wait-free implementation of highly-concurrent objects.	OOPS Messenger	1993	DBLP DOI BibTeX RDF
15	Maurice Herlihy	A Methodology for Implementing Highly Concurrent Objects.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF
15	Peter Barrie, Paul Cockshott, George J. Milne, Paul Shaw	Design and verification of a highly concurrent machine.	Microprocess. Microsystems	1992	DBLP DOI BibTeX RDF
15	Maurice Herlihy	A Methodology for Implementing Highly Concurrent Data Objects (Abstract).	ACM SIGOPS Oper. Syst. Rev.	1992	DBLP DOI BibTeX RDF
15	Augustus K. Uht, Darin B. Johnson	Data path issues in a highly concurrent machine.	MICRO	1992	DBLP DOI BibTeX RDF
15	Augustus K. Uht, Darin B. Johnson	Data path issues in a highly concurrent machine.	ISCA	1992	DBLP DOI BibTeX RDF
15	Sergios Theodoridis, A. Liavas	Highly concurrent algorithm for the solution of ϱ-Toeplitz system of equations.	Signal Process.	1991	DBLP DOI BibTeX RDF
15	Kenneth J. Goldman	Highly Concurrent Logically Synchronous Multicast.	Distributed Comput.	1991	DBLP DOI BibTeX RDF
15	Anna Sciomachen, Stephen J. Grotzinger, Francesco Archetti	Petri net-based emulation for a highly concurrent pick-and-place machine.	IEEE Trans. Robotics Autom.	1990	DBLP DOI BibTeX RDF
15	Xiaohua Jia, Hirohiko Nakano, Kentaro Shimizu, Mamoru Maekawa	Highly Concurrent Directory Management in the Galaxy Distributed System.	ICDCS	1990	DBLP DOI BibTeX RDF
15	Maurice Herlihy	A Methodology for Implementing Highly Concurrent Data Structures.	PPoPP	1990	DBLP DOI BibTeX RDF
15	Alain J. Martin	A message-passing model for highly concurrent computation.	C³P	1988	DBLP DOI BibTeX RDF
15	Stephen F. Lundstrom	Applications Considerations in the System Design of Highly Concurrent Multiprocessors.	IEEE Trans. Computers	1987	DBLP DOI BibTeX RDF
15	James J. Hack	Peak vs. Sustained Performance in Highly Concurrent Vector Machines.	Computer	1986	DBLP DOI BibTeX RDF
15	Dennis Gannon, John Van Rosendale	On the Structure of Parallelism in a Highly Concurrent PDE Solver.	J. Parallel Distributed Comput.	1986	DBLP DOI BibTeX RDF
15	Jing-Yang Jou, Jacob A. Abraham	Fault-tolerant matrix arithmetic and signal processing on highly concurrent computing structures.	Proc. IEEE	1986	DBLP DOI BibTeX RDF
15	Peter Y.-T. Hsu, Edward S. Davidson	Highly Concurrent Scalar Processing.	ISCA	1986	DBLP DOI BibTeX RDF
15	Dennis Gannon	On the structure of parallelism in a highly concurrent PDE solver.	IEEE Symposium on Computer Arithmetic	1985	DBLP DOI BibTeX RDF
15	Stephen F. Lundstrom	A Decentralized Control, Highly Concurrent Multiprocessor.	ISCA	1985	DBLP DOI BibTeX RDF
15	Yu Hen Hu, Sun-Yuan Kung	Highly concurrent Toeplitz eigen-system solver for high resolution spectral estimation.	ICASSP	1983	DBLP DOI BibTeX RDF
15	Hassan M. Ahmed, Jean-Marc Delosme, Martin Morf	Highly Concurrent Computing Structures for Matrix Arithmetic and Signal Processing.	Computer	1982	DBLP DOI BibTeX RDF
15	B. Kumar, Edward S. Davidson	Performance Evaluation of Highly Concurrent Computers by Deterministic Simulation.	Commun. ACM	1978	DBLP DOI BibTeX RDF