Search results for "mutable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Mohammad Hossein Hajkazemi, Mania Abdi, Peter Desnoyers	μCache: a mutable cache for SMR translation layer.	MASCOTS	2020	DBLP DOI BibTeX RDF
21	Cosmin Marsavina	Understanding the Impact of Mutable Global State on the Defect Proneness of Object-Oriented Systems.	SACI	2020	DBLP DOI BibTeX RDF
21	Ahmad Kayed, Suha Omar	Periodical key change for cloud mutable security protocol.	Microprocess. Microsystems	2019	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.	CoRR	2019	DBLP BibTeX RDF
21	Hojoon Lee 0001, Hyungon Moon, Ingoo Heo, DaeHee Jang, Jinsoo Jang, Kihwan Kim, Yunheung Paek, Brent ByungHoon Kang	KI-Mon ARM: A Hardware-Assisted Event-triggered Monitoring Platform for Mutable Kernel Object.	IEEE Trans. Dependable Secur. Comput.	2019	DBLP DOI BibTeX RDF
21	Mehrnoosh Shakarami, Ravi S. Sandhu	Safety and Consistency of Mutable Attributes Using Quotas: A Formal Analysis.	TPS-ISA	2019	DBLP DOI BibTeX RDF
21	Jaymer M. Jayoma	Enhanced Inverse Ant Algorithm with Mutable Path Pheromone Concentration.	CCIOT	2019	DBLP DOI BibTeX RDF
21	Yuzhen Huang, Xiao Yan 0002, Guanxian Jiang, Tatiana Jin, James Cheng, An Xu, Zhanhao Liu, Shuo Tu	Tangram: Bridging Immutable and Mutable Abstractions for Distributed Data Analytics.	USENIX Annual Technical Conference	2019	DBLP BibTeX RDF
21	Jianxing Hu, Dongdong Huo, Meilin Wang, Yazhe Wang, Yan Zhang, Yu Li	A Probability Prediction Based Mutable Control-Flow Attestation Scheme on Embedded Platforms.	TrustCom/BigDataSE	2019	DBLP DOI BibTeX RDF
21	Phillip Mates, Jamie Perconti, Amal Ahmed 0001	Under Control: Compositionally Correct Closure Conversion with Mutable State.	PPDP	2019	DBLP DOI BibTeX RDF
21	Tim Nelson, Natasha Danas, Theophilos Giannakopoulos, Shriram Krishnamurthi	Synthesizing Mutable Configurations: Setting up Systems for Success.	ASE Workshops	2019	DBLP DOI BibTeX RDF
21	Viacheslav Wolfengagen, Larisa Y. Ismailova, Sergey Kosikov, Mikhail Maslov	Mutable Applicative Model to Prevent Entanglement of Information Processes.	BICA	2019	DBLP DOI BibTeX RDF
21	John Meehan	Transactional Streaming: Managing Push-Based Workloads with Shared Mutable State in a Distributed Setting.		2019	RDF
21	Simone Ivan Conte	The Sea of Stuff: a model to manage shared mutable data in a distributed environment.		2019	RDF
21	Joana Campos 0002, Vasco T. Vasconcelos	Dependent Types for Class-based Mutable Objects (Artifact).	Dagstuhl Artifacts Ser.	2018	DBLP DOI BibTeX RDF
21	Igor B. Rogozin, Youri I. Pavlov, Alexander Goncearenco, Subhajyoti De, Artem G. Lada, Eugenia Poliakov, Anna R. Panchenko, David N. Cooper	Mutational signatures and mutable motifs in cancer genomes.	Briefings Bioinform.	2018	DBLP DOI BibTeX RDF
21	Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet	Hierarchical Memory Management for Mutable State.	CoRR	2018	DBLP BibTeX RDF
21	Astrid Kiehn, Deepanker Aggarwal	A study of mutable checkpointing and related algorithms.	Sci. Comput. Program.	2018	DBLP DOI BibTeX RDF
21	Ivan Walulya, Bapi Chatterjee, Ajoy K. Datta, Rashmi Niyolia, Philippas Tsigas	Concurrent Lock-Free Unbounded Priority Queue with Mutable Priorities.	SSS	2018	DBLP DOI BibTeX RDF
21	Joana Campos 0002, Vasco T. Vasconcelos	Dependent Types for Class-based Mutable Objects.	ECOOP	2018	DBLP DOI BibTeX RDF
21	Kazuhiko Sakaguchi	Program Extraction for Mutable Arrays.	FLOPS	2018	DBLP DOI BibTeX RDF
21	João Felipe N. Pimentel, Paolo Missier, Leonardo Murta 0001, Vanessa Braganholo	Versioned-PROV: A PROV Extension to Support Mutable Data Entities.	IPAW	2018	DBLP DOI BibTeX RDF
21	Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet	Hierarchical memory management for mutable state.	PPoPP	2018	DBLP DOI BibTeX RDF
21	Sybille Lammes	Digital mapping interfaces: From immutable mobiles to mutable images.	New Media Soc.	2017	DBLP DOI BibTeX RDF
21	Hooman Peiro Sajjad, Kamal Hakimzadeh, Shelan Perera	Reproducible Distributed Clusters with Mutable Containers: To Minimize Cost and Provisioning Time.	HotConNet@SIGCOMM	2017	DBLP DOI BibTeX RDF
21	Marianna Rapoport, Ondrej Lhoták	Mutable WadlerFest DOT.	FTfJP@ECOOP	2017	DBLP DOI BibTeX RDF
21	Aurojit Panda, Ori Lahav 0001, Katerina J. Argyraki, Mooly Sagiv, Scott Shenker	Verifying Reachability in Networks with Mutable Datapaths.	NSDI	2017	DBLP BibTeX RDF
21	Edward D. Willink	Deterministic Lazy Mutable OCL Collections.	STAF Workshops	2017	DBLP DOI BibTeX RDF
21	Michael Vollmer 0003, Ryan G. Scott, Madanlal Musuvathi, Ryan R. Newton	SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap.	PPoPP	2017	DBLP DOI BibTeX RDF
21	Andrew Ferraiuolo, Weizhe Hua, Andrew C. Myers, G. Edward Suh	Secure Information Flow Verification with Mutable Dependent Types.	DAC	2017	DBLP DOI BibTeX RDF
21	Patrick Todd	On behalf of a mutable future.	Synth.	2016	DBLP DOI BibTeX RDF
21	Tim Furche, Giovanni Grasso 0001, Michael Huemer, Christian Schallhart, Michael Schrefl	PeaCE-Ful Web Event Extraction and Processing as Bitemporal Mutable Events.	ACM Trans. Web	2016	DBLP DOI BibTeX RDF
21	Aurojit Panda, Ori Lahav 0001, Katerina J. Argyraki, Mooly Sagiv, Scott Shenker	Verifying Reachability in Networks with Mutable Datapaths.	CoRR	2016	DBLP BibTeX RDF
21	Marianna Rapoport, Ondrej Lhoták	Mutable WadlerFest DOT.	CoRR	2016	DBLP BibTeX RDF
21	Michael Haubenschild, Manuel Then, Sungpack Hong, Hassan Chafi	ASGraph: a mutable multi-versioned graph container with high analytical performance.	GRADES	2016	DBLP DOI BibTeX RDF
21	Oleg Kiselyov, Yukiyoshi Kameyama, Yuto Sudo	Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells.	APLAS	2016	DBLP DOI BibTeX RDF
21	Matteo Cimini, Jeremy G. Siek	Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language.	PMLDC@ECOOP	2016	DBLP DOI BibTeX RDF
21	Nicolas Viennot	Deterministic, Mutable, and Distributed Record-Replay for Operating Systems and Database Systems.		2016	DOI RDF
21	Nikolay Malitsky	Mutable Class Design Pattern.		2016	RDF
21	Ahmad Mozaffari, Nasser L. Azad	Coupling Gaussian generalised regression neural network and mutable smart bee algorithm to analyse the characteristics of automotive engine coldstart hydrocarbon emission.	J. Exp. Theor. Artif. Intell.	2015	DBLP DOI BibTeX RDF
21	Reza Akbari Alashti, Mofid Gorji-Bandpy, Ahmad Mozaffari	Vector mutable smart bee algorithm for engineering optimisation.	Int. J. Comput. Sci. Eng.	2015	DBLP DOI BibTeX RDF
21	Nesime Tatbul, Stan Zdonik, John Meehan, Cansu Aslantas, Michael Stonebraker, Kristin Tufte, Chris Giossi, Hong Quach	Handling Shared, Mutable State in Stream Processing with Correctness Guarantees.	IEEE Data Eng. Bull.	2015	DBLP BibTeX RDF
21	Zhiming Wang, Jiangxing Wu, Guozhen Cheng, Yiming Jiang 0002	Mutine: A Mutable Virtual Network Embedding with Game-Theoretic Stochastic Routing.	GLOBECOM	2015	DBLP DOI BibTeX RDF
21	Deepanker Aggarwal, Astrid Kiehn	Analyzing Mutable Checkpointing via Invariants.	FSEN	2015	DBLP DOI BibTeX RDF
21	Orr Tamir, Adam Morrison 0001, Noam Rinetzky	A Heap-Based Concurrent Priority Queue with Mutable Priorities for Faster Parallel Algorithms.	OPODIS	2015	DBLP DOI BibTeX RDF
21	Alireza Fathi, Ahmad Mozaffari	Vector optimization of laser solid freeform fabrication system using a hierarchical mutable smart bee-fuzzy inference system and hybrid NSGA-II/self-organizing map.	J. Intell. Manuf.	2014	DBLP DOI BibTeX RDF
21	Omid Heidari, Hamid M. Daniali, Alireza Fathi	Searching for Special Cases of the 6R Serial manipulators using Mutable Smart Bee Optimization Algorithm.	Int. J. Robotics Autom.	2014	DBLP DOI BibTeX RDF
21	Ahmad Mozaffari, Mohammadreza Azimi, Mofid Gorji-Bandpy	Ensemble mutable smart bee algorithm and a robust neural identifier for optimal design of a large scale power system.	J. Comput. Sci.	2014	DBLP DOI BibTeX RDF
21	Lalit Kumar Awasthi, Manoj Misra, Ramesh Chandra Joshi	Minimum mutable checkpoint-based coordinated checkpointing protocol for mobile distributed systems.	Int. J. Commun. Networks Distributed Syst.	2014	DBLP DOI BibTeX RDF
21	Ahmed A. Quadeer, Raymond H. Y. Louie, Karthik Shekhar, Arup K. Chakraborty, I-Ming Hsing, Matthew R. McKay	Discovering statistical vulnerabilities in highly mutable viruses: A random matrix approach.	SSP	2014	DBLP DOI BibTeX RDF
21	Cristiano Giuffrida, Calin Iorgulescu, Andrew S. Tanenbaum	Mutable checkpoint-restart: automating live update for generic server programs.	Middleware	2014	DBLP DOI BibTeX RDF
21	Georgios Rokos	Scalable multithreaded algorithms for mutable irregular data with application to anisotropic mesh adaptivity.		2014	RDF
21	Ted Underwood, Michael L. Black, Loretta Auvil, Boris Capitanu	Mapping Mutable Genres in Structurally Complex Volumes.	CoRR	2013	DBLP BibTeX RDF
21	Ahmad Mozaffari, Abas Ramiar, Alireza Fathi	Optimal design of classic Atkinson engine with dynamic specific heat using adaptive neuro-fuzzy inference system and mutable smart bee algorithm.	Swarm Evol. Comput.	2013	DBLP DOI BibTeX RDF
21	Ahmad Mozaffari, Mofid Gorji-Bandpy, Pendar Samadian, Rouzbeh Rastgar, Alireza Rezania Kolaei	Comprehensive preference optimization of an irreversible thermal engine using pareto based mutable smart bee algorithm and generalized regression neural network.	Swarm Evol. Comput.	2013	DBLP DOI BibTeX RDF
21	Alireza Fathi, Ahmad Mozaffari	Identification of a dynamic model for shape memory alloy actuator using Hammerstein-Wiener gray box and mutable smart bee algorithm.	Int. J. Intell. Comput. Cybern.	2013	DBLP DOI BibTeX RDF
21	Pendar Samadian, Ahmad Mozaffari, Ali M. Goudarzi, Alireza Rezania Kolaei, Lasse Rosendahl	Optimal Arrangement of Thermoelectric Modules for Recovering the Waste Heat of Damavand Power Plant using Mutable Smart Bee and Neuro-Fuzzy System.	Int. J. Appl. Metaheuristic Comput.	2013	DBLP DOI BibTeX RDF
21	Antoine Milliez, Michael Wand 0001, Marie-Paule Cani, Hans-Peter Seidel	Mutable elastic models for sculpting structured shapes.	Comput. Graph. Forum	2013	DBLP DOI BibTeX RDF
21	Hojoon Lee 0001, Hyungon Moon, DaeHee Jang, Kihwan Kim, Jihoon Lee, Yunheung Paek, Brent ByungHoon Kang	KI-Mon: A Hardware-assisted Event-triggered Monitoring Platform for Mutable Kernel Object.	USENIX Security Symposium	2013	DBLP BibTeX RDF
21	Liangxing Liu, Weili Han, Elisa Bertino, Tao Zhou, Xinyi Zhang	Efficient General Policy Decision by Using Mutable Variable Aware Cache.	COMPSAC	2013	DBLP DOI BibTeX RDF
21	Colin S. Gordon, Michael D. Ernst, Dan Grossman	Rely-guarantee references for refinement types over aliased mutable data.	PLDI	2013	DBLP DOI BibTeX RDF
21	Ted Underwood, Michael L. Black, Loretta Auvil, Boris Capitanu	Mapping mutable genres in structurally complex volumes.	IEEE BigData	2013	DBLP DOI BibTeX RDF
21	Stuart Holland, Jeremy Pitt, David Sanderson, Dídac Busquets	Reasoning and Reflection in the Game of Nomic: Self-Organising Self-Aware Agents with Mutable Rule-Sets.	SASO Workshops	2013	DBLP DOI BibTeX RDF
21	Nicolas Viennot, Siddharth Nair, Jason Nieh	Transparent mutable replay for multicore debugging and patch validation.	ASPLOS	2013	DBLP DOI BibTeX RDF
21	Mofid Gorji-Bandpy, Ahmad Mozaffari, Sina Mohammadrezaei Noudeh	Optimising maximum power output and minimum entropy generation of Atkinson cycle using mutable smart bees algorithm.	Int. J. Comput. Sci. Eng.	2012	DBLP DOI BibTeX RDF
21	Mofid Gorji-Bandpy, Ahmad Mozaffari	Multiobjective Optimization of Irreversible Thermal Engine Using Mutable Smart Bee Algorithm.	Appl. Comput. Intell. Soft Comput.	2012	DBLP DOI BibTeX RDF
21	Ahmad Mozaffari, Mofid Gorji-Bandpy, Tahereh B. Gorji	Optimal design of constraint engineering systems: application of mutable smart bee algorithm.	Int. J. Bio Inspired Comput.	2012	DBLP DOI BibTeX RDF
21	Gabriel Parmer, Richard West	Mutable Protection Domains: Adapting System Fault Isolation for Reliability and Efficiency.	IEEE Trans. Software Eng.	2012	DBLP DOI BibTeX RDF
21	Jan Derboven, Dries De Roeck, Mathijs Verstraete	Semiotic analysis of multi-touch interface design: The MuTable case study.	Int. J. Hum. Comput. Stud.	2012	DBLP DOI BibTeX RDF
21	Sander van der Burg	A generic approach for deploying and upgrading mutable software components.	HotSWUp	2012	DBLP DOI BibTeX RDF
21	Hadley Wickham	Mutable objects in R.	Comput. Stat.	2011	DBLP DOI BibTeX RDF
21	Samira Manabi Khan, Daniel A. Jiménez	Decoupled Cache Segmentation: Mutable Policy with Automated Bypass.	PACT	2011	DBLP DOI BibTeX RDF
21	Katarzyna Kubsik	Spaces of Mutable Shape and the Human Ability to Adapt.	HCI (7)	2011	DBLP DOI BibTeX RDF
21	Martin Odersky	Future-Proofing Collections: From Mutable to Persistent to Parallel.	CC	2011	DBLP DOI BibTeX RDF
21	Koki Shirakawa, Takashi Uemura, Yukihiro Iguchi	A Realization Method of Forward Converters from Multiple-Precision Binary Numbers to Residue Numbers with Arbitrary Mutable Modulus.	ISMVL	2011	DBLP DOI BibTeX RDF
21	Sean Halle, Albert Cohen 0001	A Mutable Hardware Abstraction to Replace Threads.	LCPC	2011	DBLP DOI BibTeX RDF
21	David Kitchin, Adrian Quark, Jayadev Misra	Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures.	Reflections on the Work of C. A. R. Hoare	2010	DBLP DOI BibTeX RDF
21	Ahmad El Maamoun	Achieving Fault Tolerance for Arithmetic Circuits with a Mutable RNS Monitor.	AlgoSyn	2010	DBLP BibTeX RDF
21	Dorrit Billman, Michael Feary, Debra Schreckenghost, Lance Sherry	Needs analysis: the case of flexible constraints and mutable boundaries.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	user studies, planning, cognitive engineering, needs analysis
21	Alexander J. Summers, Sophia Drossopoulou, Peter Müller 0001	Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods.	J. Object Technol.	2009	DBLP DOI BibTeX RDF
21	Jehn-Ruey Jiang, Chung-Ta King, Chi-Shiang Liao, Ching-Hao Liu	MUREX: A mutable replica control scheme for structured peer-to-peer storage systems.	Int. J. Pervasive Comput. Commun.	2009	DBLP DOI BibTeX RDF
21	Ran Yang, Chuang Lin 0002, Fujun Feng	A Time and Mutable Attribute-Based Access Control Model.	J. Comput.	2009	DBLP BibTeX RDF
21	Charalampos Chelmis	Mutable Peer-to-Peer File Systems: Analysis and Evaluation.	AP2PS	2009	DBLP DOI BibTeX RDF
21	Ilias Bergstrom, Anthony Steed, Beau Lotto	Mutable mapping: gradual re-routing of OSC control data as a form of artistic performance.	Advances in Computer Entertainment Technology	2009	DBLP DOI BibTeX RDF	open sound control, performance, mapping, live, audiovisual
21	Péter Diviánszky	Non-monadic Models of Mutable References.	CEFP	2009	DBLP DOI BibTeX RDF
21	David A. Naumann, Michael Barnett 0001	Towards imperative modules: Reasoning about invariants and sharing of mutable state.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
21	Knut H. Rolland, Vidar Hepsø, Eric Monteiro	Conceptualizing common information spaces across heterogeneous contexts: mutable mobiles and side-effects of integration.	CSCW	2006	DBLP DOI BibTeX RDF	global organizations, implementation of large-scale collaborative systems, oil and gas industry, actor-network theory, common information spaces
21	Stephen Brookes	A Grainless Semantics for Parallel Programs with Shared Mutable Data.	MFPS	2005	DBLP DOI BibTeX RDF
21	Stephen Gilmore, Kenneth MacKenzie, Nicholas Wolverson	Extending resource-bounded functional programming languages with mutable state and concurrency.	Scalable Comput. Pract. Exp.	2005	DBLP BibTeX RDF
21	Paolo Boldi, Sebastiano Vigna	Mutable strings in Java: design, implementation and lightweight text-search algorithms.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
21	Karl Crary, Aleksey Kliger, Frank Pfenning	A monadic analysis of information flow security with mutable state.	J. Funct. Program.	2005	DBLP DOI BibTeX RDF
21	R. Supakorn, Ramadass Sureswaran	Dissemination of Mutable Sets of Dynamic Images.	DFMA	2005	DBLP DOI BibTeX RDF	Carousel Scheduling, Carousel Update Technique and Distributed Image System, Dynamic Images
21	Todd S. Sproull, Gordon J. Brebner, Christopher E. Neely	Mutable Codesign for Embedded Protocol Processing.	FPL	2005	DBLP DOI BibTeX RDF
21	Kevin R. B. Butler, Patrick D. McDaniel	Understanding Mutable Internet Pathogens, or How I Learned to Stop Worrying and Love Parasitic Behavior.	ICISS	2005	DBLP DOI BibTeX RDF
21	Todd S. Sproull, Gordon J. Brebner, Christopher E. Neely	Mutable Codesign for Embedded Protocol Processing.	FCCM	2005	DBLP DOI BibTeX RDF
21	Stephen Gilmore	Extending Camelot with Mutable State and Concurrency.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
21	Guohong Cao, Mukesh Singhal	Checkpointing with mutable checkpoints.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
21	Guohong Cao, Mukesh Singhal	Correction to "Mutable Checkpoints: A New Checkpointing Approach for Mobile Computing Systems".	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF
21	Samin S. Ishtiaq, Peter W. O'Hearn	BI as an Assertion Language for Mutable Data Structures.	POPL	2001	DBLP DOI BibTeX RDF
21	Yan Solihin, Kirk W. Cameron, Yong Luo, Dominique Lavenier, Maya B. Gokhale	Mutable Functional Units: Initial Results.	FCCM	2001	DBLP DOI BibTeX RDF