Search results for "STM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
121	Kristijan Dragicevic, Daniel Bauer 0001	Optimization techniques for concurrent STM-based implementations: A concurrent binary heap as a case study.	IPDPS	2009	DBLP DOI BibTeX RDF
114	Sandya Mannarswamy, Dhruva R. Chakrabarti, Kaushik Rajan, Sujoy Saraswati	Compiler aided selective lock assignment for improving the performance of software transactional memory.	PPoPP	2010	DBLP DOI BibTeX RDF	performance, parallelization, compilers, multithreading
113	Robert L. Bocchino Jr., Vikram S. Adve, Bradford L. Chamberlain	Software transactional memory for large scale clusters.	PPoPP	2008	DBLP DOI BibTeX RDF	clusters, scalability, software transactional memory (stm), distributed memory architectures
109	Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon 0001	A compositional theory for STM Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	transactional memory, compositional reasoning, ambient calculus
109	Guy Eddon, Maurice Herlihy	Language Support and Compiler Optimizations for STM and Transactional Boosting.	ICDCIT	2007	DBLP DOI BibTeX RDF
109	Bratin Saha, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Chi Cao Minh, Ben Hertzberg	McRT-STM: a high performance software transactional memory system for a multi-core runtime.	PPoPP	2006	DBLP DOI BibTeX RDF	atomic constructs, two-phase locking and read-versioning, software transactional memory, runtime environment
102	Aleksandar Dragojevic, Yang Ni, Ali-Reza Adl-Tabatabai	Optimizing transactions for captured memory.	SPAA	2009	DBLP DOI BibTeX RDF	software transactional memory, runtime optimizations
102	Virendra J. Marathe, Mark Moir	Efficient nonblocking software transactional memory.	PPoPP	2007	DBLP DOI BibTeX RDF	software transactional memory, nonblocking
96	Damien Imbs, Michel Raynal	A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness.	OPODIS	2008	DBLP DOI BibTeX RDF	Commit/abort, Concurrency control, Transaction, Lock, Software transactional memory, Shared object, Progressiveness, Opacity, Atomic operation, Consistent global state
89	Cheng Wang 0013, Victor Ying, Youfeng Wu	Supporting Legacy Binary Code in a Software Transaction Compiler with Dynamic Binary Translation and Optimization.	CC	2008	DBLP DOI BibTeX RDF
83	Tomer Heber, Danny Hendler, Adi Suissa	On the Impact of Serializing Contention Management on STM Performance.	OPODIS	2009	DBLP DOI BibTeX RDF
76	Daniel Lupei, Bogdan Simion, Don Pinto, Matthew Misler, Mihai Burcea, William Krick, Cristiana Amza	Transactional memory support for scalable and transparent parallelization of multiplayer games.	EuroSys	2010	DBLP DOI BibTeX RDF	scalability, load balancing, synchronization, software transactional memory, massively multiplayer games
76	Damien Imbs, Michel Raynal	Software Transactional Memories: An Approach for Multicore Programming.	PaCT	2009	DBLP DOI BibTeX RDF	Consistency condition, Transaction, Concurrent programming, Lock, Serializability, Software transactional memory, Shared object, Linearizability, Opacity, Logical clock, Consistent global state
76	Rachid Guerraoui, Michal Kapalka, Jan Vitek	STMBench7: a benchmark for software transactional memory.	EuroSys	2007	DBLP DOI BibTeX RDF	benchmarks, software transactional memory
76	Murali Subbarao, Gopal Surya	Depth from defocus: A spatial domain approach.	Int. J. Comput. Vis.	1994	DBLP DOI BibTeX RDF
75	Maurice Herlihy, Victor Luchangco, Mark Moir	A flexible framework for implementing software transactional memory.	OOPSLA	2006	DBLP DOI BibTeX RDF	Java library, obstruction-free factory, shadow factory, software transactional memory (STM), concurrency, transactions, atomicity
71	Vijay Menon 0002, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc	Single global lock semantics in a weakly atomic STM.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	Java
71	Vijay Menon 0002, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc	Practical weak-atomicity semantics for java stm.	SPAA	2008	DBLP DOI BibTeX RDF	weak atomicity, java, transactional memory, memory models, programming language semantics
71	Chih-Hsiu Lin, An-Yeu Wu	Soft-threshold-based multilayer decision feedback equalizer (STM-DFE) algorithm and VLSI architecture.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
65	Cristian Perfumo, Nehir Sönmez, Srdjan Stipic, Osman S. Unsal, Adrián Cristal, Tim Harris 0001, Mateo Valero	The limits of software transactional memory (STM): dissecting Haskell STM applications on a many-core environment.	Conf. Computing Frontiers	2008	DBLP DOI BibTeX RDF	transactional memory, haskell, instrumentation
63	Daniel Lupei, Bogdan Simion, Don Pinto, Matthew Misler, Mihai Burcea, William Krick, Cristiana Amza	Towards scalable and transparent parallelization of multiplayer games using transactional memory support.	PPoPP	2010	DBLP DOI BibTeX RDF	scalability, synchronization, software transactional memory, massively multiplayer games
63	Michael F. Spear	Lightweight, robust adaptivity for software transactional memory.	SPAA	2010	DBLP DOI BibTeX RDF	adaptivity, synchronization, atomicity, serializability
63	Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh	Software Transactional Memory on Relaxed Memory Models.	CAV	2009	DBLP DOI BibTeX RDF
63	Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka	Stretching transactional memory.	PLDI	2009	DBLP DOI BibTeX RDF	benchmarks, software transactional memories
63	Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh	Model checking transactional memories.	PLDI	2008	DBLP DOI BibTeX RDF	model checking, transactional memories
63	Virendra J. Marathe, Mark Moir	Toward high performance nonblocking software transactional memory.	PPoPP	2008	DBLP DOI BibTeX RDF	software transactional memory, nonblocking
63	João Lourenço, Gonçalo Cunha	Testing patterns for software transactional memory engines.	PADTAD	2007	DBLP DOI BibTeX RDF	testing, concurrency, debugging, software transactional memory, testing patterns
63	Michael F. Spear, Arrvindh Shriraman, Luke Dalessandro, Sandhya Dwarkadas, Michael L. Scott	Nonblocking transactions without indirection using alert-on-update.	SPAA	2007	DBLP DOI BibTeX RDF	software transactional memory, event-based systems, obstruction freedom
63	Bratin Saha, Ali-Reza Adl-Tabatabai, Quinn Jacobson	Architectural Support for Software Transactional Memory.	MICRO	2006	DBLP DOI BibTeX RDF
63	Virendra J. Marathe, William N. Scherer III, Michael L. Scott	Adaptive Software Transactional Memory.	DISC	2005	DBLP DOI BibTeX RDF
63	Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III	Software transactional memory for dynamic-sized data structures.	PODC	2003	DBLP DOI BibTeX RDF	Java
63	Umakishore Ramachandran, Rishiyur S. Nikhil, Nissim Harel, James M. Rehg, Kathleen Knobe	Space-Time Memory: A Parallel Programming Abstraction for Interactive Multimedia Applications.	PPoPP	1999	DBLP DOI BibTeX RDF
63	Savita Banerjee, Srimat T. Chakradhar, Rabindra K. Roy	Synchronous Test Generation Model for Asynchronous Circuits.	VLSI Design	1996	DBLP DOI BibTeX RDF
63	Neil D. Jones, David A. Schmidt	Compiler generation from denotational semantics.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF
61	Evgueni Brevnov, Yuri Dolgov, Boris Kuznetsov, Dmitry Yershov, Vyacheslav Shakin, Dong-yuan Chen, Vijay Menon 0002, Suresh Srinivas	Practical experiences with Java software transactional memory.	PPoPP	2008	DBLP DOI BibTeX RDF	atomic constructs, managed runtimes, stm performance analysis, stm workloads, software transactional memory, runtime environment
58	Nathan Grasso Bronson, Jared Casper, Hassan Chafi, Kunle Olukotun	Transactional predication: high-performance concurrent sets and maps for STM.	PODC	2010	DBLP DOI BibTeX RDF	concurrent map, semantic conflict detection, transactional predication, software transactional memory
58	Felipe Klein, Alexandro Baldassin, João Moreira, Paulo Centoducatte, Sandro Rigo, Rodolfo Azevedo	STM versus lock-based systems: an energy consumption perspective.	ISLPED	2010	DBLP DOI BibTeX RDF	lock-based systems, parallel programming, low power design, transactional memory, multi-core
58	Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun	Feedback-directed barrier optimization in a strongly isolated STM.	POPL	2009	DBLP DOI BibTeX RDF	bytecode rewriting, deoptimization, strong isolation, weak isolation, transactional memory, hot swap
58	Armin Heindl, Gilles Pokam	An Analytic Model for Optimistic STM with Lazy Locking.	ASMTA	2009	DBLP DOI BibTeX RDF
58	Tatiana Shpeisman, Vijay Menon 0002, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha	Enforcing isolation and ordering in STM.	PLDI	2007	DBLP DOI BibTeX RDF	weak atomicity, virtual machines, code generation, transactional memory, compiler optimizations, isolation, ordering, escape analysis, strong atomicity
51	David Dice, Nir Shavit	TLRW: return of the read-write lock.	SPAA	2010	DBLP DOI BibTeX RDF	multicore processors, concurrent data structures
51	Ruibo Wang, Kai Lu, Xicheng Lu	Investigating transactional memory performance on ccNUMA machines.	HPDC	2009	DBLP DOI BibTeX RDF	transactional memory, ccNUMA
51	Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott	A comprehensive strategy for contention management in software transactional memory.	PPoPP	2009	DBLP DOI BibTeX RDF	condition synchronization, inevitability, priority, contention management, software transactional memory
51	Lu Zhao 0003, Johannes B. Huber, Wolfgang H. Gerstacker	Design and analysis of bit interleaved coded space-time modulation.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
51	Calin Cascaval, Colin Blundell, Maged M. Michael, Harold W. Cain, Peng Wu 0001, Stefanie Chiras, Siddhartha Chatterjee	Software Transactional Memory: Why Is It Only a Research Toy?	ACM Queue	2008	DBLP DOI BibTeX RDF
51	Xiaoqiang Zhang, Lin Peng, Lunguo Xie	A Lightweight Snapshot-based Algorithm for Software Transactional Memory.	ICYCS	2008	DBLP DOI BibTeX RDF
51	Richard M. Yoo, Yang Ni, Adam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai, Hsien-Hsin S. Lee	Kicking the tires of software transactional memory: why the going gets tough.	SPAA	2008	DBLP DOI BibTeX RDF	performance, compiler, measurement, software transactional memory, runtime, c/c++
51	David A. Schmidt	State-transition machines for lambda-calculus expressions.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	SECD-machine, Weak-normal form, Continuations, Lambda calculus, Denotational semantics, Defunctionalization, State transition machine
51	Martín Abadi, Andrew Birrell, Tim Harris 0001, Michael Isard	Semantics of transactional memory and automatic mutual exclusion.	POPL	2008	DBLP DOI BibTeX RDF	STM, transactional memory, operational semantics
50	Jennifer Mankin, David R. Kaeli, John Ardini	Software transactional memory for multicore embedded systems.	LCTES	2009	DBLP DOI BibTeX RDF	embedded systems, synchronization, transactions, multicore, locking, software transactional memory (stm)
50	Milos Milovanovic, Roger Ferrer, Osman S. Unsal, Adrián Cristal, Xavier Martorell, Eduard Ayguadé, Jesús Labarta, Mateo Valero	Transactional Memory and OpenMP.	IWOMP	2007	DBLP DOI BibTeX RDF	STM Library, Compiler, OpenMP, Software Transaction Memory
45	Dhruva R. Chakrabarti	New abstractions for effective performance analysis of STM programs.	PPoPP	2010	DBLP DOI BibTeX RDF	concurrency, software transactional memory
45	Luke Dalessandro, Michael F. Spear, Michael L. Scott	NOrec: streamlining STM by abolishing ownership records.	PPoPP	2010	DBLP DOI BibTeX RDF	ownership records, transactional memory models, transactional memory, software transactional memory
45	Hany E. Ramadan, Indrajit Roy 0001, Maurice Herlihy, Emmett Witchel	Committing conflicting transactions in an STM.	PPoPP	2009	DBLP DOI BibTeX RDF	dependence-aware, concurrency control, transactional memory, serializability
45	Rui Zhang, Zoran Budimlic, William N. Scherer III	Commit phase in timestamp-based stm.	SPAA	2008	DBLP DOI BibTeX RDF	commit sequence, transactional memory, timestamp
45	Nian-Shing Chen, Sheng-Wen Hsieh, Kinshuk	Adaptive Language Learning Based on Learner's STM Ability in M-learning Environment.	ICALT	2006	DBLP DOI BibTeX RDF
40	Ruben Rios, Joachim Posegga (eds.)	Security and Trust Management - 19th International Workshop, STM 2023, The Hague, The Netherlands, September 28, 2023, Proceedings	STM	2023	DBLP DOI BibTeX RDF
40	Gabriele Lenzini, Weizhi Meng 0001 (eds.)	Security and Trust Management - 18th International Workshop, STM 2022, Copenhagen, Denmark, September 29, 2022, Proceedings	STM	2023	DBLP DOI BibTeX RDF
40	Marietjie Botes	Consent as Mechanism to Preserve Information Privacy: Its Origin, Evolution, and Current Relevance.	STM	2023	DBLP DOI BibTeX RDF
40	Jan Willemson	Analyzing and Improving Eligibility Verifiability of the Proposed Belgian Remote Voting System.	STM	2023	DBLP DOI BibTeX RDF
40	Lydia Ouaili	Impact of Consensus Protocols on the Efficiency of Registration and Authentication Process in Self-sovereign Identity.	STM	2023	DBLP DOI BibTeX RDF
40	Isaac Henderson Johnson Jeyakumar, John Walker, Heiko Roßnagel	Decentralized Global Trust Registry Platform for Trust Discovery and Verification of e-Health Credentials Using TRAIN: COVID-19 Certificate Use Case.	STM	2023	DBLP DOI BibTeX RDF
40	Henrich C. Pöhls	Towards a Unified Abstract Architecture to Coherently and Generically Describe Security Goals and Risks of AI Systems.	STM	2023	DBLP DOI BibTeX RDF
40	Emiliia Nazarenko, Felix Klement, Eva Gründinger, Stefan Katzenbeisser 0001	Secure Stitch: Unveiling the Fabric of Security Patterns for the Internet of Things.	STM	2023	DBLP DOI BibTeX RDF
40	Pavel V. Kolesnichenko, Dmytro Progonov, Valentyna Cherniakova, Andriy Oliynyk, Oleksandra Sokol	Biometric-Based Password Management.	STM	2023	DBLP DOI BibTeX RDF
40	Ivone Amorim, Pedro Barbosa, Eva Maia, Isabel Praça	Privacy-Preserving NN for IDS: A Study on the Impact of TFHE Restrictions.	STM	2023	DBLP DOI BibTeX RDF
40	Tobias Hilbig, Thomas Schreck, Tobias Limmer	'State of the Union': Evaluating Open Source Zero Trust Components.	STM	2023	DBLP DOI BibTeX RDF
40	Luca Buccioli, Stefano Cristalli, Edoardo Vignati, Lorenzo Nava, Daniele Badagliacca, Danilo Bruschi, Long Lu, Andrea Lanzi	JChainz: Automatic Detection of Deserialization Vulnerabilities for the Java Language.	STM	2022	DBLP DOI BibTeX RDF
40	Pascal Oser, Felix Engelmann, Stefan Lüders, Frank Kargl	Evaluating the Future Device Security Risk Indicator for Hundreds of IoT Devices.	STM	2022	DBLP DOI BibTeX RDF
40	Pan Wang, Zeyi Li, Xiaokang Zhou, Chunhua Su, Weizheng Wang	FlowADGAN: Adversarial Learning for Deep Anomaly Network Intrusion Detection.	STM	2022	DBLP DOI BibTeX RDF
40	Chris Hicks, Vasilios Mavroudis, Jon Crowcroft	SIMple ID: QR Codes for Authentication Using Basic Mobile Phones in Developing Countries.	STM	2022	DBLP DOI BibTeX RDF
40	Marietjie Botes	The Relevance of Consent in the Digital Age: A Consideration of Its Origins and Its Fit for Digital Application.	STM	2022	DBLP DOI BibTeX RDF
40	Giacomo Iadarola, Francesco Mercaldo, Fabio Martinelli, Antonella Santone	Assessing Deep Learning Predictions in Image-Based Malware Detection with Activation Maps.	STM	2022	DBLP DOI BibTeX RDF
40	Fangyi Yu, Miguel Vargas Martin	HoneyGAN: Creating Indistinguishable Honeywords with Improved Generative Adversarial Networks.	STM	2022	DBLP DOI BibTeX RDF
40	Yanmin Zhao, Yang Wang, Siu Ming Yiu, Yu Liu, Meiqin Wang	A Hierarchical Watermarking Scheme for PRFs from Standard Lattice Assumptions.	STM	2022	DBLP DOI BibTeX RDF
40	Florimond Houssiau, Vincent Schellekens, Antoine Chatalic, Shreyas Kumar Annamraju, Yves-Alexandre de Montjoye	M2M: A General Method to Perform Various Data Analysis Tasks from a Differentially Private Sketch.	STM	2022	DBLP DOI BibTeX RDF
40	Johanna Maria Kirss, Peeter Laud, Nikita Snetkov, Jelizaveta Vakarjuk	Server-Supported Decryption for Mobile Devices.	STM	2022	DBLP DOI BibTeX RDF
40	Xin Zhou, Rakesh M. Verma	Software Vulnerability Detection via Multimodal Deep Learning.	STM	2022	DBLP DOI BibTeX RDF
40	Rodrigo Roman, Jianying Zhou 0001 (eds.)	Security and Trust Management - 17th International Workshop, STM 2021, Darmstadt, Germany, October 8, 2021, Proceedings	STM	2021	DBLP DOI BibTeX RDF
40	Masayuki Fukumitsu, Shingo Hasegawa	An Aggregate Signature with Pre-communication in the Plain Public Key Model.	STM	2021	DBLP DOI BibTeX RDF
40	Peeter Laud	Efficient Permutation Protocol for MPC in the Head.	STM	2021	DBLP DOI BibTeX RDF
40	Korbinian Spielvogel, Henrich C. Pöhls, Joachim Posegga	TLS Beyond the Broker: Enforcing Fine-Grained Security and Trust in Publish/Subscribe Environments for IoT.	STM	2021	DBLP DOI BibTeX RDF
40	Georgios Fotiadis, José Moreira, Thanassis Giannetsos, Liqun Chen 0002, Peter B. Rønne, Mark Ryan 0001, Peter Y. A. Ryan	Root-of-Trust Abstractions for Symbolic Analysis: Application to Attestation Protocols.	STM	2021	DBLP DOI BibTeX RDF
40	Robert Abela, Christian Colombo 0001, Peter Malo, Peter Sýs, Tomás Fabsic, Ondrej Gallo, Viliam Hromada, Mark Vella	Secure Implementation of a Quantum-Future GAKE Protocol.	STM	2021	DBLP DOI BibTeX RDF
40	Yifei Chen, Meng Li 0006, Shuli Zheng, Chhagan Lal, Mauro Conti	Where to Meet a Driver Privately: Recommending Pick-Up Locations for Ride-Hailing Services.	STM	2021	DBLP DOI BibTeX RDF
40	Laouen Fernet, Sebastian Mödersheim	Deciding a Fragment of (α , β )-Privacy.	STM	2021	DBLP DOI BibTeX RDF
40	Yongge Wang	The Adversary Capabilities in Practical Byzantine Fault Tolerance.	STM	2021	DBLP DOI BibTeX RDF
40	Joud Khoury, Zachary B. Ratliff, Michael Atighetchi	Towards Decentralized and Provably Secure Cross-Domain Solutions.	STM	2021	DBLP DOI BibTeX RDF
40	Alireza Kavousi, Javad Mohajeri, Mahmoud Salmasizadeh	Efficient Scalable Multi-party Private Set Intersection Using Oblivious PRF.	STM	2021	DBLP DOI BibTeX RDF
40	Konstantinos Markantonakis, Marinella Petrocchi (eds.)	Security and Trust Management - 16th International Workshop, STM 2020, Guildford, UK, September 17-18, 2020, Proceedings	STM	2020	DBLP DOI BibTeX RDF
40	Paul Georg Wagner, Pascal Birnstill, Jürgen Beyerer	Establishing Secure Communication Channels Using Remote Attestation with TPM 2.0.	STM	2020	DBLP DOI BibTeX RDF
40	Yonas Leguesse, Mark Vella, Christian Colombo 0001, Julio C. Hernandez-Castro	Reducing the Forensic Footprint with Android Accessibility Attacks.	STM	2020	DBLP DOI BibTeX RDF
40	Karim Baghery	Subversion-Resistant Commitment Schemes: Definitions and Constructions.	STM	2020	DBLP DOI BibTeX RDF
40	Fabian Schillinger, Christian Schindelhauer	Revocable Access to Encrypted Message Boards.	STM	2020	DBLP DOI BibTeX RDF
40	Rajiv Ranjan Singh, José Moreira, Tom Chothia, Mark Dermot Ryan	Modelling of 802.11 4-Way Handshake Attacks and Analysis of Security Properties.	STM	2020	DBLP DOI BibTeX RDF
40	Vishal Arora, Manoj Misra	A Novel Machine Learning Methodology for Detecting Phishing Attacks in Real Time.	STM	2020	DBLP DOI BibTeX RDF
40	Eden Abadi, Itay Hazan	Improved Feature Engineering for Free-Text Keystroke Dynamics.	STM	2020	DBLP DOI BibTeX RDF
40	Aynesh Sundararaj, Silvia Knittl, Jens Grossklags	Challenges in IT Security Processes and Solution Approaches with Process Mining.	STM	2020	DBLP DOI BibTeX RDF
40	Sjouke Mauw, Mauro Conti (eds.)	Security and Trust Management - 15th International Workshop, STM 2019, Luxembourg City, Luxembourg, September 26-27, 2019, Proceedings	STM	2019	DBLP DOI BibTeX RDF
40	Jule Anna Ziegler, Michael Schmidt, Mikael Linden	Improving Identity and Authentication Assurance in Research & Education Federations.	STM	2019	DBLP DOI BibTeX RDF