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