Search results for "mutable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Yan Solihin, Kirk W. Cameron, Yong Luo, Dominique Lavenier, Maya B. Gokhale	Mutable Functional Units and Their Applications on Microprocessors.	ICCD	2001	DBLP DOI BibTeX RDF
21	K. Benson	Performing classification with an environment manipulating mutable automata (EMMA).	CEC	2000	DBLP DOI BibTeX RDF
21	Ravi Kapadia, Gautam Biswas	Model-based Support for Mutable Parametric Design Optimization.	AAAI/IAAI	1999	DBLP BibTeX RDF
21	Guohong Cao, Mukesh Singhal	Mutable Check-Points: A New Checkpointing Approach for Mobile Computing Systems.	PODC	1999	DBLP DOI BibTeX RDF
21	Ella Tallyn, Alan Chalmers, Scott Pitkethly	The mutable cursor: using the cursor as a descriptive and directive device in digital interactive stories.	SIGGRAPH Abstracts and Applications	1999	DBLP DOI BibTeX RDF
21	Wynn L. Walker, Mary L. Kopka, Richard E. Dickerson, David S. Goodsell	Design of stapled DNA-minor-groove-binding molecules with a mutable atom simulated annealing method.	J. Comput. Aided Mol. Des.	1998	DBLP BibTeX RDF
21	Liuba Shrira, Ben Yoder	Trust but Check: Mutable Objects in Untrusted Cooperative Caches.	POS/PJW	1998	DBLP BibTeX RDF
21	Wynn L. Walker, Mary L. Kopka, Richard E. Dickerson, David S. Goodsell	Design of stapled DNA-minor-groove-binding molecules with a mutable atom simulated annealing method.	J. Comput. Aided Mol. Des.	1997	DBLP DOI BibTeX RDF
21	Sanjoy K. Baruah, Azer Bestavros	Real-Time Mutable Broadcast Disks.	RTDB	1997	DBLP BibTeX RDF
21	Krishna Kishore Dhara, Gary T. Leavens	Weak behavioral subtyping for types with mutable objects.	MFPS	1995	DBLP DOI BibTeX RDF
21	Christian Queinnec	Sharing Mutable Objects and Controlling Groups of Tasks in a Concurrent and Distributed Language.	Theory and Practice of Parallel Programming	1994	DBLP DOI BibTeX RDF
21	Ganesh Gopalakrishnan, Mandayam K. Srivas	Implementing Functional Programs Using Mutable Abstract Data Types.	Inf. Process. Lett.	1988	DBLP DOI BibTeX RDF
21	Lars-Henrik Erikson, Manny Rayner	Incorporating Mutable Arrays into Logic Programming.	ICLP	1984	DBLP BibTeX RDF
12	Adam Chlipala	A verified compiler for an impure functional language.	POPL	2010	DBLP DOI BibTeX RDF	compiler verification, interactive proof assistants
12	Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal	A relational modal logic for higher-order stateful ADTs.	POPL	2010	DBLP DOI BibTeX RDF	local state, plotkin-abadi logic, modal logic, abstract data types, separation logic, step-indexed logical relations
12	Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani	Safe programmable speculative parallelism.	PLDI	2010	DBLP DOI BibTeX RDF	purity, rollback freedom, safety, speculative parallelism, value speculation
12	Robert Schaefer	Software maturity: design as dark art.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF
12	Radha Jagadeesan, Corin Pitcher, James Riely	Open Bisimulation for Aspects.	T. Aspect-Oriented Software Development	2009	DBLP DOI BibTeX RDF
12	Peter W. O'Hearn, Hongseok Yang, John C. Reynolds	Separation and information hiding.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	resource protection, modularity, Separation logic
12	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Zhang 0007	Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction.	ICFEM	2009	DBLP DOI BibTeX RDF
12	Frank Pfenning, Robert J. Simmons	Substructural Operational Semantics as Ordered Logic Programming.	LICS	2009	DBLP DOI BibTeX RDF
12	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla	Field-Sensitive Value Analysis by Field-Insensitive Analysis.	FM	2009	DBLP DOI BibTeX RDF
12	Ruy Ley-Wild, Umut A. Acar, Matthew Fluet	A cost semantics for self-adjusting computation.	POPL	2009	DBLP DOI BibTeX RDF	self-adjusting computation
12	Martin Sulzmann, Edmund S. L. Lam, Simon Marlow	Comparing the performance of concurrent linked-list implementations in Haskell.	DAMP	2009	DBLP DOI BibTeX RDF	concurrent linked list, performance, synchronization
12	Hiroshi Kudou, Shunn-ichiro Nakayama, Atsushi Watanabe, Tomoyuki Nagase, Yoshio Yoshioka	A Reconfigurable-Permutation Algorithm for M_S-Box.	ARES	2009	DBLP DOI BibTeX RDF
12	Kristian Støvring, Søren B. Lassen	A Complete, Co-inductive Syntactic Theory of Sequential Control and State.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
12	Aaron Stump, Morgan Deters, Adam Petcher, Todd Schiller, Timothy W. Simpson	Verified programming in Guru.	PLPV	2009	DBLP DOI BibTeX RDF	dependently typed programming, language-based verification, operational type theory
12	Jan Wloka, Manu Sridharan, Frank Tip	Refactoring for reentrancy.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	reentrant code, program transformation, refactoring
12	Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse	Design patterns in separation logic.	TLDI	2009	DBLP DOI BibTeX RDF	design patterns, separation logic
12	Mathias John, Cédric Lhoussaine, Joachim Niehren	Dynamic Compartments in the Imperative pi-Calculus.	CMSB	2009	DBLP DOI BibTeX RDF
12	David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra	The Orc Programming Language.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
12	Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang	Nested Hoare Triples and Frame Rules for Higher-Order Store.	CSL	2009	DBLP DOI BibTeX RDF
12	Gary T. Leavens	Use concurrent programming models to motivate teaching of programming languages.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	concurrency, computational models, programming models, concepts, programming language curriculum, paradigms
12	Xinwen Zhang, Masayuki Nakae, Michael J. Covington, Ravi S. Sandhu	Toward a Usage-Based Security Framework for Collaborative Computing Systems.	ACM Trans. Inf. Syst. Secur.	2008	DBLP DOI BibTeX RDF	access control, Authorization, security architecture, collaborative computing, usage control, UCON
12	Brian Magerko	Adaptation in Digital Games.	Computer	2008	DBLP DOI BibTeX RDF
12	Michael K. Reiter, Asad Samar	Quiver: Consistent and Scalable Object Sharing for Edge Services.	IEEE Trans. Parallel Distributed Syst.	2008	DBLP DOI BibTeX RDF	Migration, Serializability, Edge services
12	Emiliano Lorini, Michele Piunti, Cristiano Castelfranchi, Rino Falcone, Maria Miceli	Anticipation and Emotions for Goal Directed Agents.	The Challenge of Anticipation	2008	DBLP DOI BibTeX RDF
12	Luca Cardelli	Molecules as Automata.	WADT	2008	DBLP DOI BibTeX RDF
12	K. Rustan M. Leino, Peter Müller 0001, Angela Wallenburg	Flexible Immutability with Frozen Objects.	VSTTE	2008	DBLP DOI BibTeX RDF
12	Caitilin de Bérigny Wall, Xiangyu Wang 0001	Interactive Antarctica: a museum installation based on an augmented reality system.	DIMEA	2008	DBLP DOI BibTeX RDF	interactivity, augmented reality, gesture-based interaction
12	Darren Willis, David J. Pearce 0001, James Noble 0001	Caching and incrementalisation in the java query language.	OOPSLA	2008	DBLP DOI BibTeX RDF	java, querying, incrementalization
12	Henry DeYoung, Deepak Garg 0001, Frank Pfenning	An Authorization Logic With Explicit Time.	CSF	2008	DBLP DOI BibTeX RDF	Explicit Time, Hybrid Logic, Authorization Logic
12	Stéphanie Delaune, Steve Kremer, Graham Steel	Formal Analysis of PKCS#11.	CSF	2008	DBLP DOI BibTeX RDF	PKCS11, Key management, Security API
12	Katherine F. Moore, Dan Grossman	High-level small-step operational semantics for transactions.	POPL	2008	DBLP DOI BibTeX RDF	weak atomicity, parallelism, transactional memory, operational semantics, isolation, strong atomicity
12	Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett	A Realizability Model for Impredicative Hoare Type Theory.	ESOP	2008	DBLP DOI BibTeX RDF
12	Sriram Srinivasan 0002, Alan Mycroft	Kilim: Isolation-Typed Actors for Java.	ECOOP	2008	DBLP DOI BibTeX RDF
12	Jianhong Luo, Dezhao Chen	An Enhanced ART2 Neural Network for Clustering Analysis.	WKDD	2008	DBLP DOI BibTeX RDF
12	Arthur Charguéraud, François Pottier	Functional translation of a calculus of capabilities.	ICFP	2008	DBLP DOI BibTeX RDF	type systems, effects, monads, aliasing, linearity, capabilities, regions, ownership
12	Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal	Ynot: dependent types for imperative programs.	ICFP	2008	DBLP DOI BibTeX RDF	type theory, monads, Hoare logic, separation logic
12	Bongwon Suh, Ed H. Chi, Aniket Kittur, Bryan A. Pendleton	Lifting the veil: improving accountability and social transparency in Wikipedia with wikidashboard.	CHI	2008	DBLP DOI BibTeX RDF	social transparency, wikidashboard, visualization, collaboration, trust, wiki, wikipedia, accountability
12	Karen Zee, Viktor Kuncak, Martin C. Rinard	Full functional verification of linked data structures.	PLDI	2008	DBLP DOI BibTeX RDF	java, verification, data structure, decision procedure, theorem prover
12	Md. Shariful Islam, Md. Abdul Hamid, Byung Goo Choi, Choong Seon Hong	Securing Layer-2 Path Selection in Wireless Mesh Networks.	WISA	2008	DBLP DOI BibTeX RDF	Merkle Tree-based Authentication, Layer-2 Routing, Security, Wireless Mesh Networks
12	Md. Shariful Islam, Young Yig Yoon, Md. Abdul Hamid, Choong Seon Hong	A Secure Hybrid Wireless Mesh Protocol for 802.11s Mesh Network.	ICCSA (1)	2008	DBLP DOI BibTeX RDF	Secure Hybrid Wireless Mesh Protocol (SHWMP), Authentication, Wireless Mesh Network, Merkle Tree
12	Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin	Runtime Checking for Separation Logic.	VMCAI	2008	DBLP DOI BibTeX RDF
12	Hugo Carr, Jeremy V. Pitt, Alexander Artikis	Peer Pressure as a Driver of Adaptation in Agent Societies.	ESAW	2008	DBLP DOI BibTeX RDF
12	Luca Cardelli	Molecules as Automata.	CSL	2008	DBLP DOI BibTeX RDF
12	Oleg Kiselyov, Chung-chieh Shan	Lightweight monadic regions.	Haskell	2008	DBLP DOI BibTeX RDF	resource management, type systems, subtyping, monads, regions, type classes, parametric polymorphism, effect systems
12	Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira	A Relational Model for Confined Separation Logic.	TASE	2008	DBLP DOI BibTeX RDF	point-free, confined separation logic, relational
12	Xin Zhao 0016, Kevin Borders, Atul Prakash 0001	Prism: Providing Flexible and Fast Filesystem Cloning Service for Virtual Servers.	Middleware	2008	DBLP DOI BibTeX RDF
12	Shuvendu K. Lahiri, Randal E. Bryant	Predicate abstraction with indexed predicates.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	infinite-state verification, invariant synthesis, Formal verification, abstract interpretation, cache-coherence protocols, predicate abstraction
12	Duncan Coutts, Don Stewart, Roman Leshchinskiy	Rewriting Haskell Strings.	PADL	2007	DBLP DOI BibTeX RDF	Program fusion, Functional programming, Deforestation
12	Jing Feng 0004, Ian Spence	Effects of Cognitive Training on Individual Differences in Attention.	HCI (13)	2007	DBLP DOI BibTeX RDF	engineering psychology, cognitive training, video games, individual differences, selective attention
12	Nobuko Yoshida, Kohei Honda 0001, Martin Berger 0001	Logical Reasoning for Higher-Order Functions with Local State.	FoSSaCS	2007	DBLP DOI BibTeX RDF
12	Lars Birkedal, Hongseok Yang	Relational Parametricity and Separation Logic.	FoSSaCS	2007	DBLP DOI BibTeX RDF
12	Keming Du, Zhongfu Sun, Huafeng Han, Shuang Liu	Development of a Web-based Wireless Telemonitoring System for Agro-environment.	CCTA	2007	DBLP DOI BibTeX RDF	GPRS/CDMA, Agro-environment, Sensors, Data acquisition, Telemonitoring
12	Xiongzi Ge, Dan Feng 0001, Lei Tian 0001	An Active Region-based Storage Mechanism in Large Wireless Sensor Networks.	IEEE NAS	2007	DBLP DOI BibTeX RDF
12	Joe Armstrong	Erlang - Software for a Concurrent World.	ECOOP	2007	DBLP DOI BibTeX RDF
12	David Herman	Functional pearl: the great escape or, how to jump the border without getting caught.	ICFP	2007	DBLP DOI BibTeX RDF	delimited control, continuations, dynamic binding
12	Min Xu, Xuxian Jiang, Ravi S. Sandhu, Xinwen Zhang	Towards a VMM-based usage control framework for OS kernel integrity protection.	SACMAT	2007	DBLP DOI BibTeX RDF	kernel integrity, operating system protection, access control, authorization, security architecture, usage control, VMM, UCON
12	Xuelian Lin, Jinpeng Huai, Xudong Liu 0001, Jun Han	Active Peer to Peer.	ICN	2007	DBLP DOI BibTeX RDF	Active P2P, Active File, Peer to Peer, File Sharing
12	Jiaying Zhang, Peter Honeyman	Hierarchical Replication Control in a Global File System.	CCGRID	2007	DBLP DOI BibTeX RDF
12	Dan Fay, Alex Shye, Sayantan Bhattacharya, Daniel A. Connors, Steve Wichmann	An Adaptive Fault-Tolerant Memory System for FPGA-based Architectures in the Space Environment.	AHS	2007	DBLP DOI BibTeX RDF
12	John Field, Maria-Cristina V. Marinescu, Christian Stefansen	Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications.	COORDINATION	2007	DBLP DOI BibTeX RDF
12	Radha Jagadeesan, Corin Pitcher, James Riely	Open bisimulation for aspects.	AOSD	2007	DBLP DOI BibTeX RDF	open bisimulation, aspect-oriented programming, modularity, equational reasoning, modular reasoning, contextual equivalence
12	Fuchun Guo, Yi Mu 0001, Zhide Chen	Mutative Identity-Based Signatures or Dynamic Credentials Without Random Oracles.	CANS	2007	DBLP DOI BibTeX RDF	Mutative Identity, ID-based Signature
12	Wouter Swierstra, Thorsten Altenkirch	Beauty in the beast.	Haskell	2007	DBLP DOI BibTeX RDF
12	Masayuki Nakae, Xinwen Zhang, Ravi S. Sandhu	A general design towards secure ad-hoc collaboration.	AsiaCCS	2006	DBLP DOI BibTeX RDF	collaboration, access control, information flow, usage control
12	Limin Jia 0001, David Walker 0001	ILC: A Foundation for Automated Reasoning About Pointer Programs.	ESOP	2006	DBLP DOI BibTeX RDF
12	Michael Higgins, Stuart F. Roth, Jeffrey Senn, Peter Lucas 0002, Dominic Widdows	Managing Distributed Collaboration in a Peer-to-Peer Network.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
12	Beomjoo Seo, Roger Zimmermann	Edge indexing in a grid for highly dynamic virtual environments.	ACM Multimedia	2006	DBLP DOI BibTeX RDF	3D object streaming, object popping problem, visibility model, spatial indexing
12	Oleg Kiselyov, Chung-chieh Shan, Amr Sabry	Delimited dynamic binding.	ICFP	2006	DBLP DOI BibTeX RDF	monads, dynamic binding, delimited continuations
12	Ben Temkow, Anne-Marie Bosneag, Xinjie Li, Monica Brockmeyer	PaxonDHT: Achieving Consensus in Distributed Hash Tables.	SAINT	2006	DBLP DOI BibTeX RDF
12	Xinwen Zhang, Masayuki Nakae, Michael J. Covington, Ravi S. Sandhu	A usage-based authorization framework for collaborative computing systems.	SACMAT	2006	DBLP DOI BibTeX RDF	access control, authorization, security architecture, collaborative computing, usage control, UCON
12	Vladimir Vlassov, Dong Li, Konstantin Popov, Seif Haridi	A Scalable Autonomous Replica Management Framework for Grids.	John Vincent Atanasoff Symposium	2006	DBLP DOI BibTeX RDF
12	Peter Van Roy	Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place.	FLOPS	2006	DBLP DOI BibTeX RDF
12	Marek Klonowski, Anna Lauks	Extended Sanitizable Signatures.	ICISC	2006	DBLP DOI BibTeX RDF
12	David A. Naumann	From Coupling Relations to Mated Invariants for Checking Information Flow.	ESORICS	2006	DBLP DOI BibTeX RDF
12	K. Subramani 0001	Totally Clairvoyant Scheduling with Relative Timing Constraints.	VMCAI	2006	DBLP DOI BibTeX RDF
12	Didier Galmiche, Dominique Larchey-Wendling	Expressivity Properties of Boolean.	FSTTCS	2006	DBLP DOI BibTeX RDF
12	Swaroop Sridhar, Jonathan S. Shapiro	Type inference for unboxed types and first class mutability.	PLOS	2006	DBLP DOI BibTeX RDF	BitC, polymorphism, type inference, mutability
12	Doug Simon, Cristina Cifuentes, Dave Cleal, John Daniels, Derek White	JavaTM on the bare metal of wireless sensor devices: the squawk Java virtual machine.	VEE	2006	DBLP DOI BibTeX RDF	wireless sensor networks, embedded systems, Java virtual machine, IEEE 802.15.4, Sun SPOT
12	Anindya Banerjee 0001, David A. Naumann	Ownership confinement ensures representation independence for object-oriented programs.	J. ACM	2005	DBLP DOI BibTeX RDF	Alias control, simulation, data refinement, confinement, relational parametricity
12	Anne-Marie Bosneag, Monica Brockmeyer	A Unified Formal Specification for a Multi-Consistency Replication System for DHTs.	ECBS	2005	DBLP DOI BibTeX RDF	replica consistency, multi-consistency replication, reliability, formal specification, distributed hash table
12	Alan Dorin	A Co-evolutionary Epidemiological Model for Artificial Life and Death.	ECAL	2005	DBLP DOI BibTeX RDF	artificial death, co-evolution, ecosystem, Epidemiological model
12	John C. Reynolds	An Overview of Separation Logic.	VSTTE	2005	DBLP DOI BibTeX RDF
12	Didier Galmiche, Daniel Méry	Characterizing Provability in .	LPAR	2005	DBLP DOI BibTeX RDF
12	Bei Shui Liao, Ji Gao	A Model of Multi-agent System Based on Policies and Contracts.	CEEMAS	2005	DBLP DOI BibTeX RDF
12	Giancarlo Fortino, Wilma Russo	Multi-coordination of mobile agents: a model and a component-based architecture.	SAC	2005	DBLP DOI BibTeX RDF	middleware, mobile agents, events, coordination model, component-based architecture
12	Gérard Boudol	On Typing Information Flow.	ICTAC	2005	DBLP DOI BibTeX RDF
12	Nick Benton, Benjamin Leperchey	Relational Reasoning in a Nominal Semantics for Storage.	TLCA	2005	DBLP DOI BibTeX RDF