Search results for "mutable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
93	Guohong Cao, Mukesh Singhal	Mutable Checkpoints: A New Checkpointing Approach for Mobile Computing Systems.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	Mobile computing, nonblocking, causal dependency, coordinated checkpointing
80	Nikolay Malitsky	Processing heterogeneous abstract syntax trees with the mutable class pattern.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	heterogeneous trees, mutable class pattern, OOP, AOP, visitor pattern
69	Guohong Cao, Mukesh Singhal	Low-Cost Checkpointing with Mutable Checkpoints in Mobile Computing Systems.	ICDCS	1998	DBLP DOI BibTeX RDF	consistent checkpointing, Mobile computing, non-blocking, causal dependency
59	Kristian Støvring, Søren B. Lassen	A complete, co-inductive syntactic theory of sequential control and state.	POPL	2007	DBLP DOI BibTeX RDF	mutable references, continuations, bisimulation
57	Kulasekaran A. Sivakumar, Mahalingam Ramkumar	Safeguarding Mutable Fields in AODV Route Discovery Process.	ICCCN	2007	DBLP DOI BibTeX RDF
57	José Pereira 0001, Rui Oliveira 0001	The Mutable Consensus Protocol.	SRDS	2004	DBLP DOI BibTeX RDF
57	Christopher A. Stein, Michael J. Tucker, Margo I. Seltzer	Building a Reliable Mutable File System on Peer-to-Peer Storage.	SRDS	2002	DBLP DOI BibTeX RDF
48	Aaron Stump, Evan Austin	Resource typing in Guru.	PLPV	2010	DBLP DOI BibTeX RDF	dependently typed programming, resource types
47	Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko, Sergei Yu. Skorobogatov	Partial Evaluation for Common Intermediate Language.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	polyvariant Binding-Time Analysis, mutable objects, Common Intermediate Language, Program transformation, Partial Evaluation, object-oriented languages
45	Meng Hu, Jiong Yang, Wei Su	Permu-pattern: discovery of mutable permutation patterns with proximity constraint.	KDD	2008	DBLP DOI BibTeX RDF	permutation pattern, proximity pattern, sequential pattern
45	Mario Márquez Lartigue, Pedro González, Kiyoshi Osawa	Mutable cinema, a participatory narrative engine.	DIMEA	2007	DBLP DOI BibTeX RDF	participatory storytelling, perception & montage, performance editing, interactive cinema
45	Antony Chazapis, Nectarios Koziris	Storing and Locating Mutable Data in Structured Peer-to-Peer Overlay Networks.	Panhellenic Conference on Informatics	2005	DBLP DOI BibTeX RDF
45	Ladislau Bölöni, Dan C. Marinescu	Agent Surgery: The Case for Mutable Agents.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
45	Lorenz Huelsbergen, James R. Larus	A Concurrent Copying Garbage Collector for Languages that Distinguish (Im)mutable Data.	PPoPP	1993	DBLP DOI BibTeX RDF	ML
36	Amal Ahmed 0001, Derek Dreyer, Andreas Rossberg	State-dependent representation independence.	POPL	2009	DBLP DOI BibTeX RDF	local state, representation independence, abstract data types, existential types, step-indexed logical relations
36	Sungwoo Park	Type-safe higher-order channels in ML-like languages.	ICFP	2007	DBLP DOI BibTeX RDF	channel locality, distributed languages, higher-order channels, parallel languages
36	Tiemi C. Sakata, Islene C. Garcia	Non-Blocking Synchronous Checkpointing Based on Rollback-Dependency Trackability.	SRDS	2006	DBLP DOI BibTeX RDF
36	Sara Porat, Marina Biberstein, Larry Koved, Bilha Mendelson	Automatic detection of immutable fields in Java.	CASCON	2000	DBLP BibTeX RDF	Java
35	Chunqiang Tang	DSF: A Common Platform for Distributed Systems Research and Development.	Middleware	2009	DBLP DOI BibTeX RDF	mutable replay, massive multi-tenancy, chaotic timing test, simulation, distributed systems, debugging
35	Tachio Terauchi, Alex Aiken	Witnessing side effects.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Mutable state, side effects
35	Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon	A very modal model of a modern, major, general type system.	POPL	2007	DBLP DOI BibTeX RDF	impredicative polymorphism, mutable references, recursive types, Kripke models
35	K. Subramani 0001	An Analysis of Totally Clairvoyant Scheduling.	J. Sched.	2005	DBLP DOI BibTeX RDF	total clairvoyance, mutable dynamic programming, real-time systems, performance metrics
35	Amal J. Ahmed 0001, Matthew Fluet, Greg Morrisett	A step-indexed model of substructural state.	ICFP	2005	DBLP DOI BibTeX RDF	mutable references, stepindexed model, substructural type system
33	Kohei Suenaga	Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References.	APLAS	2008	DBLP DOI BibTeX RDF
33	Aleksandar Nanevski, Amal Ahmed 0001, Greg Morrisett, Lars Birkedal	Abstract Predicates and Mutable ADTs in Hoare Type Theory.	ESOP	2007	DBLP DOI BibTeX RDF
33	Gabriel Parmer, Richard West	Mutable Protection Domains: Towards a Component-Based System for Dependable and Predictable Computing.	RTSS	2007	DBLP DOI BibTeX RDF
33	Atsushi Watanabe, Hiroshi Haruki, Shun Shimotomai, Takeshi Saito, Tomoyuki Nagase, Yoshio Yoshioka, Yoshiei Hasegawa	A New Mutable Nonlinear Transformation Algorithm for S-box.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF
33	Zvonimir Rakamaric, Jesse D. Bingham, Alan J. Hu	An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures.	VMCAI	2007	DBLP DOI BibTeX RDF
33	Nancy Diniz, César Branco	Long live the new video flesh after videodrome Envisioning mutable surfaces for architecture.	IV	2006	DBLP DOI BibTeX RDF
33	Jehn-Ruey Jiang, Chung-Ta King, Chi-Hsiang Liao	MUREX: A Mutable Replica Control Scheme for Structured Peer-to-Peer Storage Systems.	GPC	2006	DBLP DOI BibTeX RDF
33	Yi Jiang, Guangtao Xue, Jinyuan You	Toward Fault-Tolerant Atomic Data Access in Mutable Distributed Hash Tables.	IMSCCS (1)	2006	DBLP DOI BibTeX RDF
33	David A. Naumann, Michael Barnett 0001	Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State.	LICS	2004	DBLP DOI BibTeX RDF
33	Ladislau Bölöni, Majid Ali Khan, Xin Bai 0001, Guoqiang Wang 0002, Yongchang Ji, Dan C. Marinescu	Software Engineering Challenges for Mutable Agent Systems.	SELMAS	2003	DBLP DOI BibTeX RDF
33	John C. Reynolds	Separation Logic: A Logic for Shared Mutable Data Structures.	LICS	2002	DBLP DOI BibTeX RDF
24	Cyprien Noël	Extensible software transactional memory.	C3S2E	2010	DBLP DOI BibTeX RDF	software architecture, synchronization, transactional memory, concurrent programming, composability, object replication
24	Jonathan Edwards	Coherent reaction.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	bidirectional functions, synchronous reactive programming, trees, interactive systems, reactive systems, functional reactive programming
24	Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin	Memory Usage Verification Using Hip/Sleek.	ATVA	2009	DBLP DOI BibTeX RDF
24	Anindya Banerjee 0001, David A. Naumann, Stan Rosenberg	Regional Logic for Local Reasoning about Global Invariants.	ECOOP	2008	DBLP DOI BibTeX RDF
24	Laura Effinger-Dean, Matthew Kehrt, Dan Grossman	Transactional events for ML.	ICFP	2008	DBLP DOI BibTeX RDF	synchronous message passing, transactional events, concurrency
24	Udo Bartlang, Jörg P. Müller	DhtFlex: A Flexible Approach to Enable Efficient Atomic Data Management Tailored for Structured Peer-to-Peer Overlays.	ICIW	2008	DBLP DOI BibTeX RDF	dhtflex, p2p, atomic operations, dht
24	Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst	Object and reference immutability using java generics.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	IGJ, const, java, generic, readonly, immutability
24	Sai Susarla, John B. Carter	Flexible Consistency for Wide Area Peer Replication.	ICDCS	2005	DBLP DOI BibTeX RDF
24	Andrea Zisman, Thomas Ellman	2nd Workshop on the state of the art in automated software engineering.	ASE	2005	DBLP DOI BibTeX RDF
24	L. Kumar, Muldip Mishra, Ramesh C. Joshi	Low Overhead Optimal Checkpointing for Mobile Distributed Systems.	ICDE	2003	DBLP DOI BibTeX RDF
24	Tim Sheard	Generic Unification via Two-Level Types and Parameterized Modules.	ICFP	2001	DBLP DOI BibTeX RDF	parameterized modules, Haskell, generic programs, unification
24	Alin Suciu, Kalman Pusztai, Tudor Muresan, Zsolt Simon	LOOP-A Language for LP-Based AI Applications.	ICTAI	2001	DBLP DOI BibTeX RDF
24	Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa	Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects.	PEPM	1997	DBLP DOI BibTeX RDF
24	Koji Kagawa	Compositional References for Stateful Functional Programming.	ICFP	1997	DBLP DOI BibTeX RDF
24	Zhong Shao	Flexible Representation Analysis.	ICFP	1997	DBLP DOI BibTeX RDF
24	Christian Queinnec	Locality, Causality and Continuations.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	SCHEME
23	Xiangyu Luo, Yun Wang	Recoverability of Erasure Codes Based and Intensively Written Storage Systems.	SSIRI	2010	DBLP DOI BibTeX RDF	mutable storage system, partial update, consistency, erasure-codes, Recoverability
23	Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan	Shifting the stage: staging with delimited control.	PEPM	2009	DBLP DOI BibTeX RDF	delimited control, multilevel languages, mutable state, staged programming, code generation, continuations, side effects
23	Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan	Closing the stage: from staged code to typed closures.	PEPM	2008	DBLP DOI BibTeX RDF	multistage programming, mutable state and control effects, type abstraction, closures, parametric polymorphism
23	Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst	Enforcing reference and object immutability in Java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	IGJ, java, verification, compiler, case study, type system, polymorphism, assignable, bug finding, flow-sensitive, readonly, immutability, mutable, javac
23	Umut A. Acar, Amal Ahmed 0001, Matthias Blume	Imperative self-adjusting computation.	POPL	2008	DBLP DOI BibTeX RDF	mutable state, incremental computation, memoization, change propagation, self-adjusting computation, imperative programming, step-indexed logical relations
23	David Greenfieldboyce, Jeffrey S. Foster	Type qualifier inference for java.	OOPSLA	2007	DBLP DOI BibTeX RDF	JQual, field-sensitivity, opaque, java, tracked, transparent, context-sensitivity, type qualifiers, readonly, mutable, context-free language reachability
23	Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst	Tools for enforcing and inferring reference immutability in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Javari, Java, verification, type system, assignable, side effects, readonly, immutability, mutable
23	Matthew S. Tschantz, Michael D. Ernst	Javari: adding reference immutability to Java.	OOPSLA	2005	DBLP DOI BibTeX RDF	Javari, Java, verification, type system, assignable, readonly, immutability, mutable
23	Adrian Birka, Michael D. Ernst	A practical type system and language for reference immutability.	OOPSLA	2004	DBLP DOI BibTeX RDF	Javari, const, Java, verification, type system, readonly, immutability, mutable
21	Kun Zhu 0008, Chunhui Zhao 0001	Dynamic Graph-Based Adaptive Learning for Online Industrial Soft Sensor With Mutable Spatial Coupling Relations.	IEEE Trans. Ind. Electron.	2023	DBLP DOI BibTeX RDF
21	Yuqi Huai, Sumaya Almanee, Yuntianyi Chen, Xiafa Wu, Qi Alfred Chen, Joshua Garcia	scenoRITA: Generating Diverse, Fully Mutable, Test Scenarios for Autonomous Vehicle Planning.	IEEE Trans. Software Eng.	2023	DBLP DOI BibTeX RDF
21	Tianhong Wang, Tao Jin, Quan Zhang, Long Li, Guopeng Wang, Yingzhong Tian, Sicheng Yi, Yangqiao Lin	A Bioinspired Gripper with Sequential Motion and Mutable Posture Enabled by Antagonistic Mechanism.	Adv. Intell. Syst.	2023	DBLP DOI BibTeX RDF
21	Tanjila Mawla, Maanak Gupta, Safwa Ameer, Ravi S. Sandhu	The ACAC_D Model for Mutable Activity Control and Chain of Dependencies in Smart and Collaborative Systems.	CoRR	2023	DBLP DOI BibTeX RDF
21	Hyesu Jang, Minwoo Jung, Ayoung Kim	RaPlace: Place Recognition for Imaging Radar using Radon Transform and Mutable Threshold.	CoRR	2023	DBLP DOI BibTeX RDF
21	Yifan Li 0005, Xiaoyan Peng, Ziyan Wu, Fan Yang, Xuan He, Zhiyong Li 0001	M3GAN: A masking strategy with a mutable filter for multidimensional anomaly detection.	Knowl. Based Syst.	2023	DBLP DOI BibTeX RDF
21	Haotian Ma, Ke Xu 0003, Xinghao Jiang, Zeyu Zhao, Tanfeng Sun	Transferable Black-Box Attack Against Face Recognition With Spatial Mutable Adversarial Patch.	IEEE Trans. Inf. Forensics Secur.	2023	DBLP DOI BibTeX RDF
21	Jorge Blázquez, Manuel Montenegro, Clara Segura	Verification of mutable linear data structures and iterator-based algorithms in Dafny.	J. Log. Algebraic Methods Program.	2023	DBLP DOI BibTeX RDF
21	Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi	Runtime Verification of Hash Code in Mutable Classes.	FTfJP@ECOOP	2023	DBLP DOI BibTeX RDF
21	Hyesu Jang, Minwoo Jung, Ayoung Kim	RaPlace: Place Recognition for Imaging Radar using Radon Transform and Mutable Threshold.	IROS	2023	DBLP DOI BibTeX RDF
21	Koby Lewis, Joseph Mattson, Caelen Miller, Michael DeBuse, Sean Warnick	Development of a Mutable Meme Model in the Context of a Contagion Spread Simulation.	CCTA	2023	DBLP DOI BibTeX RDF
21	Immanuel Haffner, Jens Dittrich	mutable: A Modern DBMS for Research and Fast Prototyping.	CIDR	2023	DBLP BibTeX RDF
21	Astrid Bertrand, Tiphaine Viard, Rafik Belloum, James R. Eagan, Winston Maxwell	On Selective, Mutable and Dialogic XAI: a Review of What Users Say about Different Types of Interactive Explanations.	CHI	2023	DBLP DOI BibTeX RDF
21	Damiano Di Francesco Maesa, Andrea Lisi, Paolo Mori, Laura Ricci, Simone Schiavone	Non Fungible Mutable Tokens: dynamic assets traceability for the Metaverse.	MetaCom	2023	DBLP DOI BibTeX RDF
21	Ahmad Abusukhon, Zeyad Mohammad, Ali Al-Thaher	An authenticated, secure, and mutable multiple-session-keys protocol based on elliptic curve cryptography and text-to-image encryption algorithm.	Concurr. Comput. Pract. Exp.	2022	DBLP DOI BibTeX RDF
21	Dimitri Racordon, Denys Shabalin, Daniel Zheng, Dave Abrahams, Brennan Saeta	Implementation Strategies for Mutable Value Semantics.	J. Object Technol.	2022	DBLP DOI BibTeX RDF
21	Jihye Yang, Kee Sung Kim	An Efficient Update Algorithm for Mutable Order-Preserving Encryption.	IEEE Access	2022	DBLP DOI BibTeX RDF
21	Lei Li, Siriruk Changrob, Yanbin Fu, Olivia Stovicek, Jenna J. Guthmiller, Joshua J. C. McGrath, Haley L. Dugan, Christopher T. Stamper, Nai-Ying Zheng, Min Huang, Patrick C. Wilson	Librator: a platform for the optimized analysis, design, and expression of mutable influenza viral antigens.	Briefings Bioinform.	2022	DBLP DOI BibTeX RDF
21	Oleg Kiselyov	Do Mutable Variables Have Reference Types?	CoRR	2022	DBLP DOI BibTeX RDF
21	Wenlei Zheng, Zhan Li, Bingkai Xiu, Bingliang Zhao, Zhigang Guo	Robust fractional-order fast terminal sliding mode control of aerial manipulator derived from a mutable inertia parameters model.	CoRR	2022	DBLP DOI BibTeX RDF
21	Akash Mittal, Ragini Gupta	MuTable (Music Table): Turn any surface into musical instrument.	CoRR	2022	DBLP DOI BibTeX RDF
21	Seungkwang Lee, Nam-Su Jho	A Multi-Tree Approach to Mutable Order-Preserving Encoding.	IEICE Trans. Inf. Syst.	2022	DBLP DOI BibTeX RDF
21	Abdullah Al Raqibul Islam, Dong Dai 0001, Dazhao Cheng	VCSR: Mutable CSR Graph Format Using Vertex-Centric Packed Memory Array.	CCGRID	2022	DBLP DOI BibTeX RDF
21	Xuejian Li, Yun Yu	Quantified Assertion Verification Method for Non-linear Arithmetic and Mutable Data Structures.	WSSE	2022	DBLP DOI BibTeX RDF
21	Elia Geretto, Cristiano Giuffrida, Herbert Bos, Erik van der Kouwe	Snappy: Efficient Fuzzing with Adaptive and Mutable Snapshots.	ACSAC	2022	DBLP DOI BibTeX RDF
21	Xuejian Li, Jun-Yi Wang	Construction of Inductive Property Predicates for Mutable Data Structures.	DSA	2022	DBLP DOI BibTeX RDF
21	Jasvinder Singh Virdi	Some New Solutions of Non Linear Evolution Equations With Mutable Coefficients.	Frontiers Appl. Math. Stat.	2021	DBLP DOI BibTeX RDF
21	Di Zhang, Junqing Le, Xinyu Lei, Tao Xiang 0001, Xiaofeng Liao 0001	Exploring the redaction mechanisms of mutable blockchains: A comprehensive survey.	Int. J. Intell. Syst.	2021	DBLP DOI BibTeX RDF
21	Zhe Huang 0010, Aamir Hasan 0002, Kazuki Shin, Ruohua Li, Katherine Rose Driggs-Campbell	Long-Term Pedestrian Trajectory Prediction Using Mutable Intention Filter and Warp LSTM.	IEEE Robotics Autom. Lett.	2021	DBLP DOI BibTeX RDF
21	Georg Stefan Schmid, Viktor Kuncak	Proving and Disproving Programs with Shared Mutable Data.	CoRR	2021	DBLP BibTeX RDF
21	Dimitri Racordon, Denys Shabalin, Daniel Zheng, Dave Abrahams, Brennan Saeta	Native Implementation of Mutable Value Semantics.	CoRR	2021	DBLP BibTeX RDF
21	Samuel Chassot, Viktor Kuncak	Verified Mutable Data Structures.	CoRR	2021	DBLP BibTeX RDF
21	Nikos Fotiou, Vasilios A. Siris, George C. Polyzos	Enabling self-verifiable mutable content items in IPFS using Decentralized Identifiers.	CoRR	2021	DBLP BibTeX RDF
21	Rashid A. Saeed, Mamoon M. Saeed, Rania A. Mokhtar, Hesham Alhumyani, Sayed Abdel-Khalek	Pseudonym Mutable Based Privacy for 5G User Identity.	Comput. Syst. Sci. Eng.	2021	DBLP DOI BibTeX RDF
21	Giulio Ermanno Pibiri, Shunsuke Kanda	Rank/select queries over mutable bitmaps.	Inf. Syst.	2021	DBLP DOI BibTeX RDF
21	Nikos Fotiou, Vasilios A. Siris, George C. Polyzos	Enabling self-verifiable mutable content items in IPFS using Decentralized Identifiers. (PDF / PS)	Networking	2021	DBLP DOI BibTeX RDF
21	Sidra Aslam, Michael Mrissa	A RESTful Privacy-Aware and Mutable Decentralized Ledger.	ADBIS (Short Papers)	2021	DBLP DOI BibTeX RDF
21	Romolo Marotta, Davide Tiriticco, Pierangelo di Sanzo, Alessandro Pellegrini 0001, Bruno Ciciani, Francesco Quaglia	Mutable locks: Combining the best of spin and sleep locks.	Concurr. Comput. Pract. Exp.	2020	DBLP DOI BibTeX RDF
21	Giulio Ermanno Pibiri, Shunsuke Kanda	Rank/Select Queries over Mutable Bitmaps.	CoRR	2020	DBLP BibTeX RDF
21	Ana L. Milanova	FlowCFL: A Framework for Type-based Reachability Analysis in the Presence of Mutable Data.	CoRR	2020	DBLP BibTeX RDF
21	Kazuhiko Sakaguchi	Program extraction for mutable arrays.	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF