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 |
|