Search results for "immutable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Tobias Kuhn, Michel Dumontier	Trusty URIs: Verifiable, Immutable, and Permanent Digital Artifacts for Linked Data.	ESWC	2014	DBLP DOI BibTeX RDF
23	Jilian Zhang, Kyriakos Mouratidis, HweeHwa Pang	Global immutable region computation.	SIGMOD Conference	2014	DBLP DOI BibTeX RDF
23	Christoph Erhardt, Simon Kuhnle, Isabella Stilkerich, Wolfgang Schröder-Preikschat	The final Frontier: Coping With Immutable Data in a JVM for Embedded Real-Time Systems.	JTRES	2014	DBLP DOI BibTeX RDF
23	Rong Chen 0001, Xin Ding, Peng Wang, Haibo Chen 0001, Binyu Zang, Haibing Guan	Computation and communication efficient graph processing with distributed immutable view.	HPDC	2014	DBLP DOI BibTeX RDF
23	Attila Altay Yavuz	Practical Immutable Signature Bouquets (PISB) for Authentication and Integrity in Outsourced Databases.	DBSec	2013	DBLP DOI BibTeX RDF
23	Kyriakos Mouratidis, HweeHwa Pang	Computing Immutable Regions for Subspace Top-k Queries. (PDF / PS)	Proc. VLDB Endow.	2012	DBLP DOI BibTeX RDF
23	Cristina David, Wei-Ngan Chin	Immutable specifications for more concise and precise verification.	OOPSLA	2011	DBLP DOI BibTeX RDF
23	Fernando Abreu Gonçalves, José Figueiredo	How to Recognize an Immutable Mobile When You Find One: Translations on Innovation and Design.	InnovaInt. J. Actor Netw. Theory Technol. Innov.	2010	DBLP DOI BibTeX RDF
23	Arnold W. Bragg	The Second Immutable Law of Security Administration.	IT Prof.	2009	DBLP DOI BibTeX RDF
23	Hiroyasu Nishiyama, Kei Nakajima	Fast synchronization for quasi-immutable objects.	Concurr. Comput. Pract. Exp.	2007	DBLP DOI BibTeX RDF
23	Robert Bruce Findler, Shu-yu Guo, Anne Rogers	Lazy Contract Checking for Immutable Data Structures.	IFL	2007	DBLP DOI BibTeX RDF
23	Ragib Hasan, Joseph A. Tucek, Paul Stanton, William Yurcik, Larry Brumbaugh, Jeff Rosendale, Roelof Boonstra	The techniques and challenges of immutable storage with applications in multimedia.	Storage and Retrieval Methods and Applications for Multimedia	2005	DBLP DOI BibTeX RDF
23	Robert Steele, Takahiro Tsubono	Reserving Immutable Services through Web Service Implementation Versioning.	WEBIST	2005	DBLP BibTeX RDF
23	Charles Kindel	COM: what makes it work, black-box encapsulation through multiple, immutable interfaces.	EDOC	1997	DBLP DOI BibTeX RDF	commercial reality, black box-encapsulation, interface immutability, programming, multiple interfaces, component system, component object model, location transparency
23	Benny Yih, Mark R. Swanson, Robert R. Kessler	Persistent Immutable Shared Abstractions.	Parallel Symbolic Computing	1992	DBLP DOI BibTeX RDF
23	Renato M. Capocelli, Luisa Gargano, Ugo Vaccaro	Efficient q-ary immutable codes.	Discret. Appl. Math.	1991	DBLP DOI BibTeX RDF
23	Douglas Wiebe	A Distributed Repository for Immutable Persistent Objects.	OOPSLA	1986	DBLP DOI BibTeX RDF
14	Ashkan Sami, Babak Yadegari, Hossein Rahimi, Naser Peiravian, Sattar Hashemi, Ali Hamzeh	Malware detection based on mining API calls.	SAC	2010	DBLP DOI BibTeX RDF	API call, polymorphic/metamorphic malware, portable executable (PE), public dataset, frequent pattern mining, malware detection
14	Cyprien Noël	Extensible software transactional memory.	C3S2E	2010	DBLP DOI BibTeX RDF	software architecture, synchronization, transactional memory, concurrent programming, composability, object replication
14	Dorrit Billman, Michael Feary, Debra Schreckenghost, Lance Sherry	Needs analysis: the case of flexible constraints and mutable boundaries.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	user studies, planning, cognitive engineering, needs analysis
14	Tarek H. Mokhtar, Keith Evan Green, Ian D. Walker, Tony Threatt, Vidya N. Murali, Akshay Apte, Sumod K. Mohan	Embedding robotics in civic monuments for an information world.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	architectural-robotics, monuments, architecture, robotics, memory, interactive environments
14	Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Hosking, Ethan Blanton, Jan Vitek	Schism: fragmentation-tolerant real-time garbage collection.	PLDI	2010	DBLP DOI BibTeX RDF	mark-region, replication-copying, real-time, fragmentation, mark-sweep
14	Craig Chambers, Ashish Raniwala, Frances Perry, Stephen Adams 0001, Robert R. Henry 0001, Robert Bradshaw, Nathan Weizenbaum	FlumeJava: easy, efficient data-parallel pipelines.	PLDI	2010	DBLP DOI BibTeX RDF	java, mapreduce, data-parallel programming
14	Bruno Marnette, Floris Geerts	Static analysis of schema-mappings ensuring oblivious termination.	ICDT	2010	DBLP DOI BibTeX RDF	relative completeness, data integration, data exchange, schema mapping, determinacy
14	Sidney W. A. Dekker	Just culture: who gets to draw the line?	Cogn. Technol. Work.	2009	DBLP DOI BibTeX RDF	Incident reporting, Just culture, Criminalization, Culpability, Accountability, Human error
14	Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst	Parameter reference immutability: formal definition, inference tool, and comparison.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Reference immutability, Combined analysis, Definition, Readonly
14	Hervé Paulino, Carlos Tavares	SeDeUse: A Model for Service-Oriented Computing in Dynamic Environments.	MOBILWARE	2009	DBLP DOI BibTeX RDF	Middleware for service-oriented computing, Service-oriented computing, Middleware for mobile computing
14	Clint Andrew Hall	Web presentation layer bootstrapping for accessibility and performance.	W4A	2009	DBLP DOI BibTeX RDF	cascading styleheets, performance, user interface, accessibility, web, JavaScript, web browsers
14	Christian Haack, Erik Poll	Type-Based Object Immutability with Flexible Initialization.	ECOOP	2009	DBLP DOI BibTeX RDF
14	Joseph Gil, Tali Shragai	Are We Ready for a Safer Construction Environment?	ECOOP	2009	DBLP DOI BibTeX RDF
14	Bhume Bhumiratana, Matt Bishop	Privacy aware data sharing: balancing the usability and privacy of datasets.	PETRA	2009	DBLP DOI BibTeX RDF	ontology, privacy, information security, security policy, data sharing, data anonymization
14	Roland Ducournau	Perfect hashing as an almost perfect subtype test.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	downcast, method tables, multiple subtyping, single inheritance, subtype test, virtual function tables, Java, C++, interfaces, coloring, multiple inheritance, perfect hashing, Casting, dynamic loading
14	Kevin R. B. Butler, Stephen E. McLaughlin, Patrick D. McDaniel	Rootkit-resistant disks.	CCS	2008	DBLP DOI BibTeX RDF	security, storage, labels, rootkits
14	Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff	Constrained types for object-oriented languages.	OOPSLA	2008	DBLP DOI BibTeX RDF	constraints, dependent types, object-oriented programming languages
14	Rich Hickey	The Clojure programming language.	DLS	2008	DBLP DOI BibTeX RDF
14	Eelco Dolstra, Andres Löh	NixOS: a purely functional Linux distribution.	ICFP	2008	DBLP DOI BibTeX RDF	NixOS, nix, package management, purely functional deployment model, purely functional language, system configuration management, software deployment
14	Jean-Christophe Filliâtre	A functional implementation of the garsia--wachs algorithm: (functional pearl).	ML	2008	DBLP DOI BibTeX RDF	garsia-wachs algorithm, optimum binary trees, applicative programming, zipper
14	Chao Wang 0056, Zhe Zhang 0005, Sudharshan S. Vazhkudai, Xiaosong Ma, Frank Mueller 0001	On-the-Fly Recovery of Job Input Data in Supercomputers.	ICPP	2008	DBLP DOI BibTeX RDF
14	Renato Bueno, Daniel dos Santos Kaster, Agma Juci Machado Traina, Caetano Traina Jr.	A New Approach for Optimization of Dynamic Metric Access Methods Using an Algorithm of Effective Deletion.	SSDBM	2008	DBLP DOI BibTeX RDF
14	C. Richard Ho, Michael Theobald, Martin M. Deneroff, Ron O. Dror, Joseph Gagliardo, David E. Shaw	Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic.	DAC	2008	DBLP DOI BibTeX RDF	conditional coverage, inconclusive results, formal verification, code coverage, verifiability, coverage hole
14	Anurag Maskey, Mitch Cherniack	Replay-based approaches to revision processing in stream query engines.	SSPS	2008	DBLP DOI BibTeX RDF	revision processing, streams, corrections, revisions
14	Jie Han, Dingyi Han, Chenxi Lin, Hua-Jun Zeng, Zheng Chen 0001, Yong Yu 0001	Homepage live: automatic block tracing for web personalization.	WWW	2007	DBLP DOI BibTeX RDF	tree pruning, web blocks, tracing, adaptive user interfaces, tree edit distance
14	Gabriel Parmer, Richard West	Mutable Protection Domains: Towards a Component-Based System for Dependable and Predictable Computing.	RTSS	2007	DBLP DOI BibTeX RDF
14	Sudharshan S. Vazhkudai, Xiaosong Ma, Vincent W. Freeh, Jonathan W. Strickland, Nandan Tammineedi, Tyler A. Simon, Stephen L. Scott	Constructing collaborative desktop storage caches for large scientific datasets.	ACM Trans. Storage	2006	DBLP DOI BibTeX RDF	serverless storage system, storage networking, storage resoucce management, storage scavenging, striped storage, parallel I/O, Distributed storage, scientific data management, storage cache
14	Jason Hickey, Aleksey Nogin	Formal compiler construction in a logical framework.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Formal compiler, Higher-order abstract syntax, Logical programming environment
14	Esther Ryvkina, Anurag Maskey, Mitch Cherniack, Stanley B. Zdonik	Revision Processing in a Stream Processing Engine: A High-Level Design.	ICDE	2006	DBLP DOI BibTeX RDF
14	Joshua J. Bloch	How to design a good API and why it matters.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF
14	Jean-Christophe Filliâtre	Backtracking iterators.	ML	2006	DBLP DOI BibTeX RDF	iteration, backtracking, persistent data structures
14	Vasile Gaburici, Peter J. Keleher, Bobby Bhattacharjee	File System Support for Collaboration in theWide Area.	ICDCS	2006	DBLP DOI BibTeX RDF
14	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
14	Daniel Ellard, James Megquier	DISP: Practical, efficient, secure and fault-tolerant distributed data storage.	ACM Trans. Storage	2005	DBLP DOI BibTeX RDF	Distributed data storage
14	Jean-Marie Favre	Languages evolve too! Changing the Software Time Scale.	IWPSE	2005	DBLP DOI BibTeX RDF
14	Lawrence You, Kristal T. Pollack, Darrell D. E. Long	Deep Store: an Archival Storage System Architecture.	ICDE	2005	DBLP DOI BibTeX RDF
14	Matthew S. Tschantz, Michael D. Ernst	Javari: adding reference immutability to Java.	OOPSLA	2005	DBLP DOI BibTeX RDF	Javari, Java, verification, type system, assignable, readonly, immutability, mutable
14	Lars Birkedal, Noah Torp-Smith, Hongseok Yang	Semantics of Separation-Logic Typing and Higher-Order Frame Rules.	LICS	2005	DBLP DOI BibTeX RDF
14	Noam Rinetzky, Jörg Bauer 0001, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm	A semantics for procedure local heaps and its abstractions.	POPL	2005	DBLP DOI BibTeX RDF	3-valued logic, static analysis, abstract interpretation, shape analysis
14	Jean-Michel Busca, Fabio Picconi, Pierre Sens 0001	Pastis: A Highly-Scalable Multi-user Peer-to-Peer File System.	Euro-Par	2005	DBLP DOI BibTeX RDF
14	Asfandyar Qureshi, John V. Guttag	Horde: separating network striping policy from mechanism.	MobiSys	2005	DBLP DOI BibTeX RDF
14	Rocco De Nicola, Daniele Gorla, Rosario Pugliese	Global Computing in a Dynamic Network of Tuple Spaces.	COORDINATION	2005	DBLP DOI BibTeX RDF
14	Sudharshan Vazhkudai, Xiaosong Ma, Vincent W. Freeh, Jonathan W. Strickland, Nandan Tammineedi, Stephen L. Scott	FreeLoader: Scavenging Desktop Storage Resources for Scientific Data.	SC	2005	DBLP DOI BibTeX RDF	storage scavenging, serverless storage system, striped storage, parallel I/O, Distributed storage, scientific data management, storage cache
14	Gerald Kotonya, John Edward Hutchinson	Managing Change in COTS-Based Systems.	ICSM	2005	DBLP DOI BibTeX RDF	Components, Impact Analysis, Change, CBSE
14	Adrian Birka, Michael D. Ernst	A practical type system and language for reference immutability.	OOPSLA	2004	DBLP DOI BibTeX RDF	Javari, const, Java, verification, type system, readonly, immutability, mutable
14	Beate Ritterbach	Support for Value Types in an Object-Oriented Programming Language.	Net.ObjectDays	2004	DBLP DOI BibTeX RDF
14	Aske Simon Christensen, Christian Kirkegaard, Anders Møller	A Runtime System for XML Transformations in Java.	XSym	2004	DBLP DOI BibTeX RDF
14	Jack B. Dennis	Fresh Breeze: a multiprocessor chip architecture guided by modular programming principles.	SIGARCH Comput. Archit. News	2003	DBLP DOI BibTeX RDF
14	Paolo Boldi, Sebastiano Vigna	Rethinking Java strings.	PPPJ	2003	DBLP BibTeX RDF
14	Jason Hickey, Aleksey Nogin, Adam Granicz	Compiler implementation in a formal logical framework.	MERLIN	2003	DBLP DOI BibTeX RDF	formal compiler, higher-order abstract syntax, logical programming environment
14	Barton P. Miller	A Security Attack and Defense in the Grid Environment.	PVM/MPI	2002	DBLP DOI BibTeX RDF
14	Dexter Kozen	Some Results in Dynamic Model Theory.	MPC	2002	DBLP DOI BibTeX RDF
14	Michael Welzl, Alfred Cihal, Max Mühlhäuser	An Approach to Flexible QoS Routing with Active Networks.	Active Middleware Services	2002	DBLP DOI BibTeX RDF
14	Zoltan Somogyi, Peter J. Stuckey	Using the heap to eliminate stack accesses.	PPDP	2002	DBLP DOI BibTeX RDF	heap cells, stack accesses, stack frames, maximal matching
14	Dmitry Brodsky, Alex Brodsky, Jody Pomkoski, Shihao Gong, Michael J. Feeley, Norman C. Hutchinson	Using File-Grain Connectivity to Implement a Peer-to-Peer File System.	SRDS	2002	DBLP DOI BibTeX RDF
14	Christopher A. Stein, Michael J. Tucker, Margo I. Seltzer	Building a Reliable Mutable File System on Peer-to-Peer Storage.	SRDS	2002	DBLP DOI BibTeX RDF
14	Florida Estrella, Zsolt Kovacs 0001, Jean-Marie Le Goff, Richard McClatchey, Norbert Toth	Meta-data Objects as the Basis for System Evolution.	WAIM	2001	DBLP DOI BibTeX RDF
14	Marina Biberstein, Joseph Gil, Sara Porat	Sealing, Encapsulation, and Mutability.	ECOOP	2001	DBLP DOI BibTeX RDF
14	Gary T. Leavens, Don Pigozzi	A Complete Algebraic Characterization of Behavioral Subtyping.	Acta Informatica	2000	DBLP DOI BibTeX RDF
14	Michael D. Smith 0001	Overcoming the Challenges to Feedback-Directed Optimization.	Dynamo	2000	DBLP DOI BibTeX RDF
14	Stéphane Coulondre, Thérèse Libourel	Viewpoints Handling in an Object Model with Criterium-Based Classes.	DEXA	1999	DBLP DOI BibTeX RDF
14	Masahiro Yasugi, Shegeyuki Eguchi, Kazuo Taki	Eliminating Bottlenecks on Parallel Systems using Adaptive Objects.	IEEE PACT	1998	DBLP DOI BibTeX RDF	bottleneck elimination, adaptive object, distributed shared object, mutual exclusion, parallel language, concurrent access, method dispatch
14	Josh Yelon, Laxmikant V. Kalé	Static Networks: A Powerful and Elegant Exteansion to Concurrent Object-Oriented Languages.	ISCOPE	1998	DBLP DOI BibTeX RDF
14	James Noble 0001, Jan Vitek, John Potter	Flexible Alias Protection.	ECOOP	1998	DBLP DOI BibTeX RDF
14	Michael L. Van de Vanter	Coordinated Editing of Versioned Packages in the JP Programming Environment.	SCM	1998	DBLP DOI BibTeX RDF
14	Don S. Batory, Bart J. Geraci	Composition Validation and Subjectivity in GenVoca Generators.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	composition validation, design rule checking, subjectivity, software generators, GenVoca
14	Simeon J. Yates, Tamara R. Sumner	Digital Genres and the New Burden of Fixity.	HICSS (6)	1997	DBLP DOI BibTeX RDF
14	Alexandre V. Zamulin	Algebraic Semantics of Object-Oriented Data Models.	TOOLS (24)	1997	DBLP DOI BibTeX RDF	data type specification, algebraic specifications, object-oriented data model
14	Ming-Ling Lo, Chinya V. Ravishankar	Spatial Hash-Joins.	SIGMOD Conference	1996	DBLP DOI BibTeX RDF
14	Søren Brandt, Jørgen Lindskov Knudsen	Generalising the BETA Type System.	ECOOP	1996	DBLP DOI BibTeX RDF	constraints, type systems, object-oriented modelling, language design, BETA
14	Conal Elliott, Greg Schechter, Ricky Yeung, Salim S. Abi-Ezzi	TBAG: a high level framework for interactive, animated 3D graphics applications.	SIGGRAPH	1994	DBLP DOI BibTeX RDF	local propagation constraints
14	Chandrabose Aravindan, Phan Minh Dung	Belief Dynamics, Abduction, and Database.	JELIA	1994	DBLP DOI BibTeX RDF	belief dynamics, rationality postulates, databases, abduction, epistemology, view updates
14	Damien Doligez, Xavier Leroy	A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML.	POPL	1993	DBLP DOI BibTeX RDF	LML
14	P. Venkat Rangan, Harrick M. Vin	Designing File Systems for Digital Video and Audio.	SOSP	1991	DBLP DOI BibTeX RDF	Sun Workstation
14	Sape J. Mullender	Combining high performance and fault tolerance in a distributed file server.	ACM SIGOPS European Workshop	1990	DBLP DOI BibTeX RDF
14	Douglas B. Terry, Daniel C. Swinehart	Managing Stored Voice in the Etherphone System (Extended Abstract). (long version: ACM Trans. Comput. Syst. 6(1): 3-27(1988))	SOSP	1987	DBLP DOI BibTeX RDF
14	Philippe Godlewski, Gérard D. Cohen	Some Cryptographic Aspects of Womcodes.	CRYPTO	1985	DBLP DOI BibTeX RDF
14	Liba Svobodova	A Reliable Object-Oriented Data Repository for a Distributed Computer System.	SOSP	1981	DBLP DOI BibTeX RDF	Atomic update, Distributed data storage system, Optical disk, Memory management, Server, Crash recovery, Stable storage
14	Daniel G. Bobrow	Managing Reentrant Structures Using Reference Counts.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF