|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 311 occurrences of 225 keywords
|
|
|
Results
Found 354 publication records. Showing 354 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
93 | Guohong Cao, Mukesh Singhal |
Mutable Checkpoints: A New Checkpointing Approach for Mobile Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 12(2), pp. 157-172, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, pp. 697-702, 2008, ACM, 978-1-60558-220-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 18th International Conference on Distributed Computing Systems, Amsterdam, The Netherlands, May 26-29, 1998, pp. 464-471, 1998, IEEE Computer Society, 0-8186-8292-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 161-172, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
mutable references, continuations, bisimulation |
57 | Kulasekaran A. Sivakumar, Mahalingam Ramkumar |
Safeguarding Mutable Fields in AODV Route Discovery Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 16th International Conference on Computer Communications and Networks, IEEE ICCCN 2007, Turtle Bay Resort, Honolulu, Hawaii, USA, August 13-16, 2007, pp. 645-651, 2007, IEEE, 978-1-4244-1251-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
57 | José Pereira 0001, Rui Oliveira 0001 |
The Mutable Consensus Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 18-20 October 2004, Florianpolis, Brazil, pp. 218-227, 2004, IEEE Computer Society, 0-7695-2239-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 21st Symposium on Reliable Distributed Systems (SRDS 2002), 13-16 October 2002, Osaka, Japan, pp. 324-329, 2002, IEEE Computer Society, 0-7695-1659-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
48 | Aaron Stump, Evan Austin |
Resource typing in Guru. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010, pp. 27-38, 2010, ACM, 978-1-60558-890-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers, pp. 171-177, 2003, Springer, 3-540-20813-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 14th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Las Vegas, Nevada, USA, August 24-27, 2008, pp. 318-326, 2008, ACM, 978-1-60558-193-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIMEA ![In: Proceedings of the Second International Conference on Digital Interactive Media in Entertainment and Arts, DIMEA 2007, 19-21 September 2007, Perth, Western Australia, pp. 181-182, 2007, ACM, 978-1-59593-708-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Panhellenic Conference on Informatics ![In: Advances in Informatics, 10th Panhellenic Conference on Informatics, PCI 2005, Volos, Greece, November 11-13, 2005, Proceedings, pp. 234-244, 2005, Springer, 3-540-29673-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Ladislau Bölöni, Dan C. Marinescu |
Agent Surgery: The Case for Mutable Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: Parallel and Distributed Processing, 15 IPDPS 2000 Workshops, Cancun, Mexico, May 1-5, 2000, Proceedings, pp. 578-585, 2000, Springer, 3-540-67442-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
45 | Lorenz Huelsbergen, James R. Larus |
A Concurrent Copying Garbage Collector for Languages that Distinguish (Im)mutable Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Fourth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), San Diego, California, USA, May 19-22, 1993, pp. 73-82, 1993, ACM, 0-89791-589-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
ML |
36 | Amal Ahmed 0001, Derek Dreyer, Andreas Rossberg |
State-dependent representation independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 340-353, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 191-202, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006),2-4 October 2006, Leeds, UK, pp. 411-420, 2006, IEEE Computer Society, 0-7695-2677-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Sara Porat, Marina Biberstein, Larry Koved, Bilha Mendelson |
Automatic detection of immutable fields in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative Research, November 13-16, 2000, Mississauga, Ontario, Canada, pp. 10, 2000, IBM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
Java |
35 | Chunqiang Tang |
DSF: A Common Platform for Distributed Systems Research and Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware ![In: Middleware 2009, ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009. Proceedings, pp. 414-436, 2009, Springer, 978-3-642-10444-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(3), pp. 15:1-15:42, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 109-122, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
impredicative polymorphism, mutable references, recursive types, Kripke models |
35 | K. Subramani 0001 |
An Analysis of Totally Clairvoyant Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sched. ![In: J. Sched. 8(2), pp. 113-133, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 78-91, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings, pp. 155-170, 2008, Springer, 978-3-540-89329-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Aleksandar Nanevski, Amal Ahmed 0001, Greg Morrisett, Lars Birkedal |
Abstract Predicates and Mutable ADTs in Hoare Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 189-204, 2007, Springer, 978-3-540-71314-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Gabriel Parmer, Richard West |
Mutable Protection Domains: Towards a Component-Based System for Dependable and Predictable Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 3-6 December 2007, Tucson, Arizona, USA, pp. 365-378, 2007, IEEE Computer Society, 0-7695-3062-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA Workshops (1) ![In: 21st International Conference on Advanced Information Networking and Applications (AINA 2007), Workshops Proceedings, Volume 1, May 21-23, 2007, Niagara Falls, Canada, pp. 246-251, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings, pp. 106-121, 2007, Springer, 978-3-540-69735-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Nancy Diniz, César Branco |
Long live the new video flesh after videodrome Envisioning mutable surfaces for architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 10th International Conference on Information Visualisation, IV 2006, 5-7 July 2006, London, UK, pp. 699-706, 2006, IEEE Computer Society, 0-7695-2602-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPC ![In: Advances in Grid and Pervasive Computing, First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings, pp. 93-102, 2006, Springer, 3-540-33809-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Yi Jiang, Guangtao Xue, Jinyuan You |
Toward Fault-Tolerant Atomic Data Access in Mutable Distributed Hash Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMSCCS (1) ![In: Interdisciplinary and Multidisciplinary Research in Computer Science, IEEE CS Proceeding of the First International Multi-Symposium of Computer and Computational Sciences (IMSCCS|06), June 20-24, 2006, Zhejiang University, Hangzhou, China, Vol. 1, pp. 485-490, 2006, IEEE Computer Society, 0-7695-2581-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | David A. Naumann, Michael Barnett 0001 |
Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings, pp. 313-323, 2004, IEEE Computer Society, 0-7695-2192-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SELMAS ![In: Software Engineering for Multi-Agent Systems II, Research Issues and Practical Applications [the book is a result of SELMAS 2003], pp. 149-166, 2003, Springer, 3-540-21182-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | John C. Reynolds |
Separation Logic: A Logic for Shared Mutable Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings, pp. 55-74, 2002, IEEE Computer Society, 0-7695-1483-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Cyprien Noël |
Extensible software transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C3S2E ![In: Canadian Conference on Computer Science & Software Engineering, C3S2E 2010, Montreal, Quebec, Canada, May 19-20, 2010, Proceedings, pp. 23-34, 2010, ACM, 978-1-60558-901-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
software architecture, synchronization, transactional memory, concurrent programming, composability, object replication |
24 | Jonathan Edwards |
Coherent reaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 925-932, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings, pp. 166-181, 2009, Springer, 978-3-642-04760-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Anindya Banerjee 0001, David A. Naumann, Stan Rosenberg |
Regional Logic for Local Reasoning about Global Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings, pp. 387-411, 2008, Springer, 978-3-540-70591-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Laura Effinger-Dean, Matthew Kehrt, Dan Grossman |
Transactional events for ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 103-114, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Third International Conference on Internet and Web Applications and Services, ICIW 2008, 8-13 June 2008, Athens, Greece, pp. 377-384, 2008, IEEE Computer Society, 978-0-7695-3163-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 75-84, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
IGJ, const, java, generic, readonly, immutability |
24 | Sai Susarla, John B. Carter |
Flexible Consistency for Wide Area Peer Replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 25th International Conference on Distributed Computing Systems (ICDCS 2005), 6-10 June 2005, Columbus, OH, USA, pp. 199-208, 2005, IEEE Computer Society, 0-7695-2331-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Andrea Zisman, Thomas Ellman |
2nd Workshop on the state of the art in automated software engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 464, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | L. Kumar, Muldip Mishra, Ramesh C. Joshi |
Low Overhead Optimal Checkpointing for Mobile Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 19th International Conference on Data Engineering, March 5-8, 2003, Bangalore, India, pp. 686-688, 2003, IEEE Computer Society, 0-7803-7665-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Tim Sheard |
Generic Unification via Two-Level Types and Parameterized Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001., pp. 86-97, 2001, ACM, 1-58113-415-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 13th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2001, Dallas, Texas, USA, November 7-9, 2001, pp. 299-305, 2001, IEEE Computer Society, 0-7695-1417-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa |
Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997, pp. 12-21, 1997, ACM, 0-89791-917-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Koji Kagawa |
Compositional References for Stateful Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997., pp. 217-226, 1997, ACM, 0-89791-918-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Zhong Shao |
Flexible Representation Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997., pp. 85-98, 1997, ACM, 0-89791-918-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Christian Queinnec |
Locality, Causality and Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1994 ACM Conference on LISP and Functional Programming, Orlando, Florida, USA, 27-29 June 1994., pp. 91-102, 1994, ACM, 0-89791-643-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
SCHEME |
23 | Xiangyu Luo, Yun Wang |
Recoverability of Erasure Codes Based and Intensively Written Storage Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI ![In: Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, June 9-11, 2010, pp. 173-179, 2010, IEEE Computer Society, 978-0-7695-4086-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009, pp. 111-120, 2009, ACM, 978-1-60558-327-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008, pp. 147-157, 2008, ACM, 978-1-59593-977-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, pp. 725-726, 2008, ACM, 978-1-60558-220-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 309-322, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 321-336, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 866-867, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 211-230, 2005, ACM, 1-59593-031-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 35-49, 2004, ACM, 1-58113-831-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 70(9), pp. 9614-9622, September 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 49(10), pp. 4656-4676, October 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Intell. Syst. ![In: Adv. Intell. Syst. 5(3), March 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.01783, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Hyesu Jang, Minwoo Jung, Ayoung Kim |
RaPlace: Place Recognition for Imaging Radar using Radon Transform and Mutable Threshold. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.04321, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Based Syst. ![In: Knowl. Based Syst. 271, pp. 110585, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Forensics Secur. ![In: IEEE Trans. Inf. Forensics Secur. 18, pp. 5636-5650, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 134, pp. 100875, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi |
Runtime Verification of Hash Code in Mutable Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023, pp. 25-31, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Hyesu Jang, Minwoo Jung, Ayoung Kim |
RaPlace: Place Recognition for Imaging Radar using Radon Transform and Mutable Threshold. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IROS, pp. 11194-11201, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCTA ![In: IEEE Conference on Control Technology and Applications, CCTA 2023, Bridgetown, Barbados, August 16-18, 2023, pp. 168-173, 2023, IEEE, 979-8-3503-3544-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Immanuel Haffner, Jens Dittrich |
mutable: A Modern DBMS for Research and Fast Prototyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIDR ![In: 13th Conference on Innovative Data Systems Research, CIDR 2023, Amsterdam, The Netherlands, January 8-11, 2023, 2023, www.cidrdb.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, CHI 2023, Hamburg, Germany, April 23-28, 2023, pp. 411:1-411:21, 2023, ACM, 978-1-4503-9421-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MetaCom ![In: IEEE International Conference on Metaverse Computing, Networking and Applications, MetaCom 2023, Kyoto, Japan, June 26-28, 2023, pp. 393-397, 2023, IEEE, 979-8-3503-3333-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 34(4), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Dimitri Racordon, Denys Shabalin, Daniel Zheng, Dave Abrahams, Brennan Saeta |
Implementation Strategies for Mutable Value Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 21(2), pp. 2:1-11, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Jihye Yang, Kee Sung Kim |
An Efficient Update Algorithm for Mutable Order-Preserving Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 102009-102018, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Briefings Bioinform. ![In: Briefings Bioinform. 23(2), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Oleg Kiselyov |
Do Mutable Variables Have Reference Types? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.04107, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.13448, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Akash Mittal, Ragini Gupta |
MuTable (Music Table): Turn any surface into musical instrument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.14125, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Seungkwang Lee, Nam-Su Jho |
A Multi-Tree Approach to Mutable Order-Preserving Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 105-D(11), pp. 1930-1933, November 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 22nd IEEE International Symposium on Cluster, Cloud and Internet Computing, CCGrid 2022, Taormina, Italy, May 16-19, 2022, pp. 71-80, 2022, IEEE, 978-1-6654-9956-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Xuejian Li, Yun Yu |
Quantified Assertion Verification Method for Non-linear Arithmetic and Mutable Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSSE ![In: Proceedings of the 4th World Symposium on Software Engineering, WSSE 2022, Xiamen, China, September 28-30, 2022, pp. 39-44, 2022, ACM, 978-1-4503-9695-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Elia Geretto, Cristiano Giuffrida, Herbert Bos, Erik van der Kouwe |
Snappy: Efficient Fuzzing with Adaptive and Mutable Snapshots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: Annual Computer Security Applications Conference, ACSAC 2022, Austin, TX, USA, December 5-9, 2022, pp. 375-387, 2022, ACM, 978-1-4503-9759-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Xuejian Li, Jun-Yi Wang |
Construction of Inductive Property Predicates for Mutable Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSA ![In: 9th International Conference on Dependable Systems and Their Applications, DSA 2022, Wulumuqi, China, August 4-5, 2022, pp. 185-191, 2022, IEEE, 978-1-6654-8877-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Jasvinder Singh Virdi |
Some New Solutions of Non Linear Evolution Equations With Mutable Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Appl. Math. Stat. ![In: Frontiers Appl. Math. Stat. 7, pp. 631052, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Syst. ![In: Int. J. Intell. Syst. 36(9), pp. 5051-5084, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 6(2), pp. 542-549, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Georg Stefan Schmid, Viktor Kuncak |
Proving and Disproving Programs with Shared Mutable Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.07699, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Dimitri Racordon, Denys Shabalin, Daniel Zheng, Dave Abrahams, Brennan Saeta |
Native Implementation of Mutable Value Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.12678, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Samuel Chassot, Viktor Kuncak |
Verified Mutable Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.08824, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Nikos Fotiou, Vasilios A. Siris, George C. Polyzos |
Enabling self-verifiable mutable content items in IPFS using Decentralized Identifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.08395, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Syst. Sci. Eng. ![In: Comput. Syst. Sci. Eng. 39(1), pp. 1-14, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Giulio Ermanno Pibiri, Shunsuke Kanda |
Rank/select queries over mutable bitmaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 99, pp. 101756, 2021. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking ![In: IFIP Networking Conference, IFIP Networking 2021, Espoo and Helsinki, Finland, June 21-24, 2021, pp. 1-6, 2021, IEEE, 978-3-9031-7639-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Sidra Aslam, Michael Mrissa |
A RESTful Privacy-Aware and Mutable Decentralized Ledger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS (Short Papers) ![In: New Trends in Database and Information Systems - ADBIS 2021 Short Papers, Doctoral Consortium and Workshops: DOING, SIMPDA, MADEISD, MegaData, CAoNS, Tartu, Estonia, August 24-26, 2021, Proceedings, pp. 193-204, 2021, Springer, 978-3-030-85081-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 32(22), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Giulio Ermanno Pibiri, Shunsuke Kanda |
Rank/Select Queries over Mutable Bitmaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.12809, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
21 | Ana L. Milanova |
FlowCFL: A Framework for Type-based Reachability Analysis in the Presence of Mutable Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.06496, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
21 | Kazuhiko Sakaguchi |
Program extraction for mutable arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 191, pp. 102372, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 354 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|