Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Mohammad Hossein Hajkazemi, Mania Abdi, Peter Desnoyers |
μCache: a mutable cache for SMR translation layer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 28th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2020, Nice, France, November 17-19, 2020, pp. 1-8, 2020, IEEE, 978-1-7281-9238-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Cosmin Marsavina |
Understanding the Impact of Mutable Global State on the Defect Proneness of Object-Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACI ![In: 14th IEEE International Symposium on Applied Computational Intelligence and Informatics, SACI 2020, Timisoara, Romania, May 21-23, 2020, pp. 105-110, 2020, IEEE, 978-1-7281-7377-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Ahmad Kayed, Suha Omar |
Periodical key change for cloud mutable security protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 69, pp. 152-158, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.00490, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 16(2), pp. 287-300, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Mehrnoosh Shakarami, Ravi S. Sandhu |
Safety and Consistency of Mutable Attributes Using Quotas: A Formal Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPS-ISA ![In: First IEEE International Conference on Trust, Privacy and Security in Intelligent Systems and Applications, TPS-ISA 2019, Los Angeles, CA, USA, December 12-14, 2019, pp. 1-9, 2019, IEEE, 978-1-7281-6741-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Jaymer M. Jayoma |
Enhanced Inverse Ant Algorithm with Mutable Path Pheromone Concentration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCIOT ![In: Proceedings of the 2019 4th International Conference on Cloud Computing and Internet of Things, CCIOT 2019, Tokyo, Japan, September 20-22, 2019, pp. 97-101, 2019, ACM, 978-1-4503-7241-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Annual Technical Conference ![In: 2019 USENIX Annual Technical Conference, USENIX ATC 2019, Renton, WA, USA, July 10-12, 2019, pp. 191-206, 2019, USENIX Association. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustCom/BigDataSE ![In: 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications / 13th IEEE International Conference On Big Data Science And Engineering, TrustCom/BigDataSE 2019, Rotorua, New Zealand, August 5-8, 2019, pp. 530-537, 2019, IEEE, 978-1-7281-2777-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Phillip Mates, Jamie Perconti, Amal Ahmed 0001 |
Under Control: Compositionally Correct Closure Conversion with Mutable State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019., pp. 16:1-16:15, 2019, ACM, 978-1-4503-7249-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Tim Nelson, Natasha Danas, Theophilos Giannakopoulos, Shriram Krishnamurthi |
Synthesizing Mutable Configurations: Setting up Systems for Success. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE Workshops ![In: 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASE Workshops 2019, San Diego, CA, USA, November 11-15, 2019, pp. 81-85, 2019, IEEE, 978-1-7281-4136-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Viacheslav Wolfengagen, Larisa Y. Ismailova, Sergey Kosikov, Mikhail Maslov |
Mutable Applicative Model to Prevent Entanglement of Information Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BICA ![In: Biologically Inspired Cognitive Architectures 2019 - Proceedings of the 10th Annual Meeting of the BICA Society, BICA 2019, Seattle, WA, USA, August 15-18, 2019, pp. 589-596, 2019, Springer, 978-3-030-25718-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | John Meehan |
Transactional Streaming: Managing Push-Based Workloads with Shared Mutable State in a Distributed Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
21 | Simone Ivan Conte |
The Sea of Stuff: a model to manage shared mutable data in a distributed environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
21 | Joana Campos 0002, Vasco T. Vasconcelos |
Dependent Types for Class-based Mutable Objects (Artifact). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Artifacts Ser. ![In: Dagstuhl Artifacts Ser. 4(3), pp. 01:1-01:2, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Briefings Bioinform. ![In: Briefings Bioinform. 19(6), pp. 1085-1101, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet |
Hierarchical Memory Management for Mutable State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1801.04618, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Astrid Kiehn, Deepanker Aggarwal |
A study of mutable checkpointing and related algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 160, pp. 78-92, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings, pp. 365-380, 2018, Springer, 978-3-030-03231-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Joana Campos 0002, Vasco T. Vasconcelos |
Dependent Types for Class-based Mutable Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 32nd European Conference on Object-Oriented Programming, ECOOP 2018, July 16-21, 2018, Amsterdam, The Netherlands, pp. 13:1-13:28, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-079-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Kazuhiko Sakaguchi |
Program Extraction for Mutable Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, pp. 51-67, 2018, Springer, 978-3-319-90685-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPAW ![In: Provenance and Annotation of Data and Processes - 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings, pp. 87-100, 2018, Springer, 978-3-319-98378-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet |
Hierarchical memory management for mutable state. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2018, Vienna, Austria, February 24-28, 2018, pp. 81-93, 2018, ACM, 978-1-4503-4982-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Sybille Lammes |
Digital mapping interfaces: From immutable mobiles to mutable images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Media Soc. ![In: New Media Soc. 19(7), pp. 1019-1033, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotConNet@SIGCOMM ![In: Proceedings of the Workshop on Hot Topics in Container Networking and Networked Systems, HotConNet@SIGCOMM 2017, Los Angeles, CA, USA, August 25, 2017, pp. 18-23, 2017, ACM, 978-1-4503-5058-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Marianna Rapoport, Ondrej Lhoták |
Mutable WadlerFest DOT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona, Spain, June 20, 2017, pp. 7:1-7:6, 2017, ACM, 978-1-4503-5098-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSDI ![In: 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017, Boston, MA, USA, March 27-29, 2017, pp. 699-718, 2017, USENIX Association, 978-1-931971-37-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
21 | Edward D. Willink |
Deterministic Lazy Mutable OCL Collections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers, pp. 340-355, 2017, Springer, 978-3-319-74729-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Austin, TX, USA, February 4-8, 2017, pp. 283-298, 2017, ACM, 978-1-4503-4493-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Andrew Ferraiuolo, Weizhe Hua, Andrew C. Myers, G. Edward Suh |
Secure Information Flow Verification with Mutable Dependent Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 54th Annual Design Automation Conference, DAC 2017, Austin, TX, USA, June 18-22, 2017, pp. 6:1-6:6, 2017, ACM, 978-1-4503-4927-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Patrick Todd |
On behalf of a mutable future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 193(7), pp. 2077-2095, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Web ![In: ACM Trans. Web 10(3), pp. 16:1-16:47, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.00991, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Marianna Rapoport, Ondrej Lhoták |
Mutable WadlerFest DOT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1611.07610, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Michael Haubenschild, Manuel Then, Sungpack Hong, Hassan Chafi |
ASGraph: a mutable multi-versioned graph container with high analytical performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRADES ![In: Proceedings of the Fourth International Workshop on Graph Data Management Experiences and Systems, Redwood Shores, CA, USA, June 24 - 24, 2016, pp. 8, 2016, ACM, 978-1-4503-4780-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Oleg Kiselyov, Yukiyoshi Kameyama, Yuto Sudo |
Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 271-291, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Matteo Cimini, Jeremy G. Siek |
Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PMLDC@ECOOP ![In: First Workshop on Programming Models and Languages for Distributed Computing, PMLDC@ECOOP 2016, Rome, Italy, July 17, 2016, pp. 8, 2016, ACM, 978-1-4503-4775-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Nicolas Viennot |
Deterministic, Mutable, and Distributed Record-Replay for Operating Systems and Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
DOI RDF |
|
21 | Nikolay Malitsky |
Mutable Class Design Pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Exp. Theor. Artif. Intell. ![In: J. Exp. Theor. Artif. Intell. 27(3), pp. 253-272, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Reza Akbari Alashti, Mofid Gorji-Bandpy, Ahmad Mozaffari |
Vector mutable smart bee algorithm for engineering optimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Sci. Eng. ![In: Int. J. Comput. Sci. Eng. 10(1/2), pp. 155-163, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Data Eng. Bull. ![In: IEEE Data Eng. Bull. 38(4), pp. 94-104, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: 2015 IEEE Global Communications Conference, GLOBECOM 2015, San Diego, CA, USA, December 6-10, 2015, pp. 1-6, 2015, IEEE, 978-1-4799-5952-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Deepanker Aggarwal, Astrid Kiehn |
Analyzing Mutable Checkpointing via Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers, pp. 176-190, 2015, Springer, 978-3-319-24643-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: 19th International Conference on Principles of Distributed Systems, OPODIS 2015, December 14-17, 2015, Rennes, France, pp. 15:1-15:16, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-98-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Manuf. ![In: J. Intell. Manuf. 25(4), pp. 775-795, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Robotics Autom. ![In: Int. J. Robotics Autom. 29(4), 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. ![In: J. Comput. Sci. 5(2), pp. 206-223, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Commun. Networks Distributed Syst. ![In: Int. J. Commun. Networks Distributed Syst. 12(4), pp. 356-380, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSP ![In: IEEE Workshop on Statistical Signal Processing, SSP 2014, Gold Coast, Australia, June 29 - July 2, 2014, pp. 5-8, 2014, IEEE, 978-1-4799-4975-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Cristiano Giuffrida, Calin Iorgulescu, Andrew S. Tanenbaum |
Mutable checkpoint-restart: automating live update for generic server programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware ![In: Proceedings of the 15th International Middleware Conference, Bordeaux, France, December 8-12, 2014, pp. 133-144, 2014, ACM, 978-1-4503-2785-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Georgios Rokos |
Scalable multithreaded algorithms for mutable irregular data with application to anisotropic mesh adaptivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
21 | Ted Underwood, Michael L. Black, Loretta Auvil, Boris Capitanu |
Mapping Mutable Genres in Structurally Complex Volumes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1309.3323, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Swarm Evol. Comput. ![In: Swarm Evol. Comput. 12, pp. 74-91, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Swarm Evol. Comput. ![In: Swarm Evol. Comput. 9, pp. 90-103, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Comput. Cybern. ![In: Int. J. Intell. Comput. Cybern. 6(4), pp. 328-357, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Metaheuristic Comput. ![In: Int. J. Appl. Metaheuristic Comput. 4(4), pp. 46-62, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Antoine Milliez, Michael Wand 0001, Marie-Paule Cani, Hans-Peter Seidel |
Mutable elastic models for sculpting structured shapes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. Forum ![In: Comput. Graph. Forum 32(2), pp. 21-30, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: Proceedings of the 22th USENIX Security Symposium, Washington, DC, USA, August 14-16, 2013, pp. 511-526, 2013, USENIX Association, 978-1-931971-03-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013, pp. 359-368, 2013, IEEE Computer Society, 978-0-7695-4986-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Colin S. Gordon, Michael D. Ernst, Dan Grossman |
Rely-guarantee references for refinement types over aliased mutable data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, Seattle, WA, USA, June 16-19, 2013, pp. 73-84, 2013, ACM, 978-1-4503-2014-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Ted Underwood, Michael L. Black, Loretta Auvil, Boris Capitanu |
Mapping mutable genres in structurally complex volumes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE BigData ![In: 2013 IEEE International Conference on Big Data (IEEE BigData 2013), 6-9 October 2013, Santa Clara, CA, USA, pp. 95-103, 2013, IEEE Computer Society, 978-1-4799-1292-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASO Workshops ![In: 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, SASOW, 2013, Philadelphia, PA, USA, September 9-13, 2013, pp. 101-106, 2013, IEEE Computer Society, 978-1-4799-5086-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Nicolas Viennot, Siddharth Nair, Jason Nieh |
Transparent mutable replay for multicore debugging and patch validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Architectural Support for Programming Languages and Operating Systems, ASPLOS 2013, Houston, TX, USA, March 16-20, 2013, pp. 127-138, 2013, ACM, 978-1-4503-1870-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Sci. Eng. ![In: Int. J. Comput. Sci. Eng. 7(2), pp. 108-120, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Mofid Gorji-Bandpy, Ahmad Mozaffari |
Multiobjective Optimization of Irreversible Thermal Engine Using Mutable Smart Bee Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Comput. Intell. Soft Comput. ![In: Appl. Comput. Intell. Soft Comput. 2012, pp. 652391:1-652391:13, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bio Inspired Comput. ![In: Int. J. Bio Inspired Comput. 4(3), pp. 167-180, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Gabriel Parmer, Richard West |
Mutable Protection Domains: Adapting System Fault Isolation for Reliability and Efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 38(4), pp. 875-888, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Jan Derboven, Dries De Roeck, Mathijs Verstraete |
Semiotic analysis of multi-touch interface design: The MuTable case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Hum. Comput. Stud. ![In: Int. J. Hum. Comput. Stud. 70(10), pp. 714-728, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Sander van der Burg |
A generic approach for deploying and upgrading mutable software components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotSWUp ![In: 4th International Workshop on Hot Topics in Software Upgrades, HotSWUp 2012, Zurich, Switzerland, June 3, 2012, pp. 26-30, 2012, IEEE Computer Society, 978-1-4673-1765-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Hadley Wickham |
Mutable objects in R. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stat. ![In: Comput. Stat. 26(3), pp. 405-418, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Samira Manabi Khan, Daniel A. Jiménez |
Decoupled Cache Segmentation: Mutable Policy with Automated Bypass. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: 2011 International Conference on Parallel Architectures and Compilation Techniques, PACT 2011, Galveston, TX, USA, October 10-14, 2011, pp. 212, 2011, IEEE Computer Society, 978-1-4577-1794-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Katarzyna Kubsik |
Spaces of Mutable Shape and the Human Ability to Adapt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (7) ![In: Universal Access in Human-Computer Interaction. Context Diversity - 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part III, pp. 365-371, 2011, Springer, 978-3-642-21665-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Martin Odersky |
Future-Proofing Collections: From Mutable to Persistent to Parallel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction - 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings, pp. 1, 2011, Springer, 978-3-642-19860-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011, Tuusula, Finland, May 23-25, 2011, pp. 268-273, 2011, IEEE Computer Society, 978-0-7695-4405-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Sean Halle, Albert Cohen 0001 |
A Mutable Hardware Abstraction to Replace Threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers, pp. 185-202, 2011, Springer, 978-3-642-36035-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | David Kitchin, Adrian Quark, Jayadev Misra |
Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reflections on the Work of C. A. R. Hoare ![In: Reflections on the Work of C. A. R. Hoare., pp. 229-254, 2010, Springer, 978-1-84882-911-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Ahmad El Maamoun |
Achieving Fault Tolerance for Arithmetic Circuits with a Mutable RNS Monitor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AlgoSyn ![In: Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, Algorithmic synthesis of reactive and discrete-continuous systems, AlgoSyn 2010, May 31 - June 2, 2010, pp. 48, 2010, Verlagshaus Mainz, Aachen, Germany, 3-86130-146-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
21 | Dorrit Billman, Michael Feary, Debra Schreckenghost, Lance Sherry |
Needs analysis: the case of flexible constraints and mutable boundaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Extended Abstracts Volume, Atlanta, Georgia, USA, April 10-15, 2010, pp. 4597-4612, 2010, ACM, 978-1-60558-930-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 8(4), pp. 85-125, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Pervasive Comput. Commun. ![In: Int. J. Pervasive Comput. Commun. 5(1), pp. 9-24, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Ran Yang, Chuang Lin 0002, Fujun Feng |
A Time and Mutable Attribute-Based Access Control Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. ![In: J. Comput. 4(6), pp. 510-518, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
21 | Charalampos Chelmis |
Mutable Peer-to-Peer File Systems: Analysis and Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AP2PS ![In: The First International Conference on Advances in P2P Systems, AP2PS 2009, 11-16 October 2009, Sliema, Malta, pp. 78-84, 2009, IEEE Computer Society, 978-0-7695-3831-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the International Conference on Advances in Computer Entertainment Technology, ACE 2009, Athens, Greece, October 29-31, 2009, pp. 290-293, 2009, ACM, 978-1-60558-864-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
open sound control, performance, mapping, live, audiovisual |
21 | Péter Diviánszky |
Non-monadic Models of Mutable References. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEFP ![In: Central European Functional Programming School - Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures, pp. 146-182, 2009, Springer, 978-3-642-17684-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | David A. Naumann, Michael Barnett 0001 |
Towards imperative modules: Reasoning about invariants and sharing of mutable state. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 365(1-2), pp. 143-168, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: Proceedings of the 2006 ACM Conference on Computer Supported Cooperative Work, CSCW 2006, Banff, Alberta, Canada, November 4-8, 2006, pp. 493-500, 2006, ACM, 1-59593-249-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2005, Birmingham, UK, May 18-21, 2005, pp. 277-307, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Stephen Gilmore, Kenneth MacKenzie, Nicholas Wolverson |
Extending resource-bounded functional programming languages with mutable state and concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scalable Comput. Pract. Exp. ![In: Scalable Comput. Pract. Exp. 6(4), 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
21 | Paolo Boldi, Sebastiano Vigna |
Mutable strings in Java: design, implementation and lightweight text-search algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 54(1), pp. 3-23, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Karl Crary, Aleksey Kliger, Frank Pfenning |
A monadic analysis of information flow security with mutable state. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 15(2), pp. 249-291, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | R. Supakorn, Ramadass Sureswaran |
Dissemination of Mutable Sets of Dynamic Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFMA ![In: 1st International Conference on Distributed Frameworks for Multimedia Applications (DFMA 2005), 6-9 February 2005, Besançon, France, pp. 226-230, 2005, IEEE Computer Society, 0-7695-2273-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Proceedings of the 2005 International Conference on Field Programmable Logic and Applications (FPL), Tampere, Finland, August 24-26, 2005, pp. 51-56, 2005, IEEE, 0-7803-9362-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISS ![In: Information Systems Security, First International Conference, ICISS 2005, Kolkata, India, December 19-21, 2005, Proceedings, pp. 36-48, 2005, Springer, 3-540-30706-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Todd S. Sproull, Gordon J. Brebner, Christopher E. Neely |
Mutable Codesign for Embedded Protocol Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 13th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2005), 17-20 April 2005, Napa, CA, USA, Proceedings, pp. 299-300, 2005, IEEE Computer Society, 0-7695-2445-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Stephen Gilmore |
Extending Camelot with Mutable State and Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III, pp. 306-313, 2004, Springer, 3-540-22116-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Guohong Cao, Mukesh Singhal |
Checkpointing with mutable checkpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 290(2), pp. 1127-1148, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Guohong Cao, Mukesh Singhal |
Correction to "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. 13(5), pp. 527, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Samin S. Ishtiaq, Peter W. O'Hearn |
BI as an Assertion Language for Mutable Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, London, UK, January 17-19, 2001, pp. 14-26, 2001, ACM, 1-58113-336-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Yan Solihin, Kirk W. Cameron, Yong Luo, Dominique Lavenier, Maya B. Gokhale |
Mutable Functional Units: Initial Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: The 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001, Rohnert Park, California, USA, April 29 - May 2, 2001, pp. 283-284, 2001, IEEE Computer Society, 0-7695-2667-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|