Search results for "Constructs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
83	Nicholas H. Roberts, Jason Bennett Thatcher	Conceptualizing and testing formative constructs: tutorial and annotated example.	Data Base	2009	DBLP DOI BibTeX RDF	formative constructs, is research methods, reflective constructs, tutorial
49	R. K. Shyamasundar, James W. Thatcher	Language Constructs for Specifying Concurrency in CDL*.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	CDL* concurrency specification, dynamically allocating resources, CDL*, distributed programming languages, parallel programming, data integrity, data integrity, anonymity, specification languages, mutual exclusion, expressiveness, specification techniques, modular specification, language constructs, abstraction mechanisms, dynamic resource management
42	Daniel E. Cooke	Abstraction, concurrency, and communal computing in SequenceL.	COMPSAC	1997	DBLP DOI BibTeX RDF	SequenceL, declarative constructs, nonscalar processing, problem solver, metastructure, data products, data structures, concurrency, abstraction, computer language, language constructs, communal computing
40	Lijie Wen, Wil M. P. van der Aalst, Jianmin Wang 0001, Jiaguang Sun 0001	Mining process models with non-free-choice constructs.	Data Min. Knowl. Discov.	2007	DBLP DOI BibTeX RDF	Implicit dependency, Non-free-choice constructs, Process mining, Event log
40	Lijun Dong, Jiafu Xu	Formal semantics of some functional constructs of the software requirements definition language NDRDL.	COMPSAC	1997	DBLP DOI BibTeX RDF	functional constructs, software requirements definition language, NDRDL, source language, software requirements analysis support system, NDRASS, specification languages, diagrams, formal semantics, functional requirements, nonfunctional requirements
38	Yair I. Friedman, Dror G. Feitelson, Iaakov Exman	The Parallel Break Construct, or How to Kill an Activity Tree.	IPPS	1996	DBLP DOI BibTeX RDF	parallel constructs, forced termination, kill, abort, ParC, break
36	Saurabh Sinha, Mary Jean Harrold	Criteria for Testing Exception-Handling Constructs in Java Programs.	ICSM	1999	DBLP DOI BibTeX RDF
36	Ulrike Lechner	Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages.	FASE	1998	DBLP DOI BibTeX RDF	Concurrency, Object orientation, Reuse, Interpretation, Rewriting, ?-calculus, Maude, Inheritance Anomaly
36	David Lorge Parnas	On Iterative Constructs.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
36	Stephen Ng Dellosa, Florante R. Salvador	Representation of basket constructs using braid theory.	GRAPHITE	2006	DBLP DOI BibTeX RDF	basket constructs, basket patterns, basketry, braid theory, representation
36	Geoffrey S. Hubona	Evaluating user interface design with belief constructs.	HICSS (4)	1995	DBLP DOI BibTeX RDF	user interface design evaluation, belief constructs, user acceptance predictors, task accuracy, task latency, user confidence, user productivity, accurate decisions, reduced decision times, user interfaces, human factors, human resource management, perceived usefulness, perceived ease of use, decision quality
34	Radu S. Jasinschi, José M. F. Moura	Content-based video sequence representation.	ICIP	1995	DBLP DOI BibTeX RDF	content based video sequence representation, very low bit rate video compression, digital image libraries, generative video, video sequence contents encoding, independently moving objects velocity, world images, generative operators, augmented images, sequence reconstruction, tessellated shape representation, real video sequence, motion estimation, data compression, image sequences, experiment, video coding, image reconstruction, shape, image representation, constructs, camera motion
33	Paul Tarau, Arun K. Majumdar	Interoperating Logic Engines.	PADL	2009	DBLP DOI BibTeX RDF	Prolog language extensions, logic engines, semantics of metaprogramming constructs, generalized iterators, agent oriented programming language constructs
33	Horst Herrlich, Miroslav Husek	Some open categorical problems in Top.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	(Almost) reflective subcategories, simple subcategories, orthogonal and implicational subcategories, injectivity- and projectivity-classes, limit-closed subcategories, algebraic constructs, cartesian-closedness, convenient hulls, realizations of constructs, normal functors
33	Pradeep Jain, Simon S. Lam	Specification of Real-Time Broadcast Networks.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	real-time broadcast networks, broadcast bus networks, binary signals, two level wait constructs, Expressnet protocol, collision-free access, model, real-time systems, formal specification, protocols, computer networks, protocols specification, sequential programs, programming constructs, access delay
32	Morten Hertzum, Torkil Clemmensen, Kasper Hornbæk, Jyoti Kumar, Qingxin Shi, Pradeep Yammiyavar	Usability Constructs: A Cross-Cultural Study of How Users and Developers Experience Their Use of Information Systems.	HCI (10)	2007	DBLP DOI BibTeX RDF	Usage experiences, Cultural usability, Repertory-grid technique
32	Jan Henry Nyström, Philip W. Trinder, David J. King	Evaluating high-level distributed language constructs.	ICFP	2007	DBLP DOI BibTeX RDF	programming languages, haskell, distributed programming, erlang
32	José M. Fernandes, Marcelino B. Santos, Arlindo L. Oliveira, João Paulo Teixeira 0001	A Probabilistic Method for the Computation of Testability of RTL Constructs.	DATE	2004	DBLP DOI BibTeX RDF
32	Vladimir Tosic, Kruti Patel, Bernard Pagurek	Reusability Constructs in the Web Service Offerings Language (WSOL).	WES	2003	DBLP DOI BibTeX RDF
32	Saurabh Sinha, Mary Jean Harrold	Analysis and Testing of Programs with Exception Handling Constructs.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	control dependence analysis, Exception handling, program slicing, data flow analysis, structural testing, control flow analysis
32	Manfred Broy	On language constructs for concurrent programs.	CONPAR	1981	DBLP DOI BibTeX RDF
32	Peter A. Walker, Sumit Ghosh	On the Nature and Inadequacies of Transport Timing Delay Constructs in VHDL Descriptions.	ICCD	1996	DBLP DOI BibTeX RDF	timing constructs, simulation of hardware descriptions, discrete event simulation, VHDL, Digital simulation, logic Simulation, Timing semantics
30	Kumar V. Vadaparty, Y. Alp Aslandogan, Gultekin Özsoyoglu	Towards a Unified Visual Database Access.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF	QBE
30	Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard	Abstraction Mechanisms in the Beta Programming Language.	POPL	1983	DBLP DOI BibTeX RDF
30	Deborah Compeau, John Correia, Jason Thatcher	When Constructs Become Obsolete: A Systematic Approach to Evaluating and Updating Constructs for Information Systems Research.	MIS Q.	2022	DBLP DOI BibTeX RDF
30	Mohammadamin Sanaei, Marielle Machacek, Jessie Colette Eubanks, Peggy Wu, James Oliver, Stephen B. Gilbert	The Effect of Training Communication Medium on the Social Constructs Co-Presence, Engagement, Rapport, and Trust: Explaining how training communication medium affects the social constructs co-presence, engagement, rapport, and trust.	VRST	2022	DBLP DOI BibTeX RDF
30	Ferrol Aderholdt, Manjunath Gorentla Venkata, Zachary W. Parchman	SharP Data Constructs: Data Constructs to Enable Data-Centric Computing.	PDP	2018	DBLP DOI BibTeX RDF
30	David Redlich, Thomas Molka, Wasif Gilani, Gordon S. Blair, Awais Rashid	Constructs Competition Miner: Process Control-Flow Discovery of BP-Domain Constructs.	BPM	2014	DBLP DOI BibTeX RDF
30	Wolfgang Hinderer	Transfer of Graph Constructs in Goguen's Paper to Net Constructs.	Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets	1981	DBLP DOI BibTeX RDF
30	Kaiyu Wan, Vasu S. Alagar	An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents.	DALT	2005	DBLP DOI BibTeX RDF	coordinated transactions, Intensional Programming Language, coordination constructs, Multi-agent systems
30	Niki Afshartous, Malcolm C. Harrison	Expressing concurrency in Griffin.	ICPADS	1996	DBLP DOI BibTeX RDF	Griffin, statically typed language, Ada software, Griffin language constructs, extended select statement, receiving thread, readers-writers problem, group lock mechanism, scheduling groups, high-level algorithms, parallel programming, Ada, rapid prototyping, synchronisation, program debugging, software prototyping, synchronous communication
30	Atish P. Sinha, Iris Vessey	Cognitive Fit: An Empirical Study of Recursion and Iteration.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	basic theory, recursive tasks, PASCAL computer science students, repeated measures designs, specific programming languages, cognitive fit, human factors, programming, programming languages, LISP, LISP, Pascal, programming theory, recursive functions, programming constructs, laboratory experiment, performance benefits
28	Tim Harris 0001	Language constructs for transactional memory.	POPL	2009	DBLP DOI BibTeX RDF	atomic blocks, transactional memory, stm
28	Louise A. Dennis, Michael Fisher 0001, Anthony Hepple	Language Constructs for Multi-agent Programming.	CLIMA	2007	DBLP DOI BibTeX RDF
28	François Bry, Tim Furche, Benedikt Linse	Data Model and Query Constructs for Versatile Web Query Languages: State-of-the-Art and Challenges for Xcerpt.	PPSWR	2006	DBLP DOI BibTeX RDF
28	Achal Prabhakar, Vladimir Getov, Barbara M. Chapman	Performance Comparisons of Basic OpenMP Constructs.	ISHPC	2002	DBLP DOI BibTeX RDF
28	Tom L. Roberts, Paul H. Cheney, Paul D. Sweeney	Group Interaction Constructs for Hands-on LAN Projects: An Initial Investigation.	HICSS	2002	DBLP DOI BibTeX RDF	local area network (LAN) and group work, group interaction
28	Alfred Kölbl, James H. Kukula, Kurt Antreich, Robert F. Damiano	Handling special constructs in symbolic simulation.	DAC	2002	DBLP DOI BibTeX RDF	formal verification, symbolic simulation
28	Joerg Evermann, Yair Wand	Towards Ontologically Based Semantics for UML Constructs.	ER	2001	DBLP DOI BibTeX RDF
28	T. C. Nicholas Graham, Gerd Kock	Domesticating Imperative Constructs So That They Can Live in a Functional World.	PLILP	1991	DBLP DOI BibTeX RDF
28	Edmund M. Clarke	Programming Language Constructs for Which it is Impossible to Obtain "Good" Hoare-Like Axiom Systems.	POPL	1977	DBLP DOI BibTeX RDF
26	Robert Dyer 0001, Hridesh Rajan	Nu: a dynamic aspect-oriented intermediate language model and virtual machine for flexible runtime adaptation.	AOSD	2008	DBLP DOI BibTeX RDF	Nu, aspect-oriented intermediate languages, aspect-oriented virtual machines, invocation, weaving
26	Mariëlle den Hengst, Douglas L. Dean, Gwendolyn L. Kolfschoten, Anita Chakrapani	Assessing the Quality of Collaborative Processes.	HICSS	2006	DBLP DOI BibTeX RDF
26	Claes Wohlin, Martin Höst, Magnus C. Ohlsson	Understanding the Sources of Software Defects: A Filtering Approach.	IWPC	2000	DBLP DOI BibTeX RDF	Defect understanding, software metrics, root cause analysis, prediction system, product measurements
26	Ralph Frisbie, Richard Hendrickson, Michael Metcalf	The F Programming Language.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF	FCL
26	Geoffrey S. Hubona, Elizabeth Kennick	The Influence of External Variables on Information Technology Usage Behavior.	HICSS (4)	1996	DBLP DOI BibTeX RDF
25	Irena Mlýnková	Similarity of XML schema definitions.	ACM Symposium on Document Engineering	2008	DBLP DOI BibTeX RDF	equivalence of XSD constructs, similarity, XML schema
25	Paul Tarau	Agent oriented logic programming in Jinni 2004.	SAC	2005	DBLP DOI BibTeX RDF	agent programming constructs, agents and logic programming, multi-threaded prolog systems, distributed AI, agent communication protocols
25	Jin Hyun Son, Myoung-Ho Kim	Finding the critical path in a time-constrained workflow.	RTCSA	2000	DBLP DOI BibTeX RDF	time-constrained workflow, workflow control constructs, workflow control structures, workflow issues, workflow resource management, workflow time management, real-time systems, business processes, queueing theory, directed graphs, directed acyclic graphs, critical path, computer engineering, workflow management software
25	Peter G. Hancock, Anton Setzer	Interactive Programs in Dependent Type Theory.	CSL	2000	DBLP DOI BibTeX RDF	monadic I/O, repetition constructs, interaction, refinement, Functional programming, dependent types, reactive programming
25	Saumya K. Debray, David Scott Warren	Towards Banishing the Cut from Prolog.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	impure language features, impure features, Prolog source programs, firstof, oneof, declarative readings, parallel evaluation strategies, purer programming style, logic programs, logic programming, static analysis, PROLOG, program transformations, nondeterminism, cut, language constructs, compile time
23	Christiano Braga	A Constructive Semantics for Basic Aspect Constructs.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
23	Henri Barki	Thar's gold in them thar constructs.	Data Base	2008	DBLP DOI BibTeX RDF
23	Henri Barki	Thar's gold in them thar constructs.	Data Base	2008	DBLP DOI BibTeX RDF	construct development, construct validation, research methodology
23	Mathias Köhnke, Temenushka Ignatova, Martina Weicht, Ilvio Bruder	Identifying Semantic Constructs in Web Documents to Improve Web Site Accessibility.	WISE Workshops	2008	DBLP DOI BibTeX RDF
23	Ashraful Alam, Latifur Khan, Bhavani Thuraisingham	Geospatial Resource Description Framework (GRDF) and security constructs.	ICDE Workshops	2008	DBLP DOI BibTeX RDF
23	Zhe Wu, George Eadon, Souripriya Das, Eugene Inseok Chong, Vladimir Kolovski, Melliyal Annamalai, Jagannathan Srinivasan	Implementing an Inference Engine for RDFS/OWL Constructs and User-Defined Rules in Oracle.	ICDE	2008	DBLP DOI BibTeX RDF
23	Yang Ni, Adam Welc, Ali-Reza Adl-Tabatabai, Moshe Bach, Sion Berkowits, James Cownie, Robert Geva, Sergey Kozhukow, Ravi Narayanaswamy, Jeffrey Olivier, Serguei Preis, Bratin Saha, Ady Tal, Xinmin Tian	Design and implementation of transactional constructs for C/C++.	OOPSLA	2008	DBLP DOI BibTeX RDF	transactional memory, C/C++
23	Irena Mlýnková	Equivalence of XSD Constructs and Its Exploitation in Similarity Evaluation.	OTM Conferences (2)	2008	DBLP DOI BibTeX RDF
23	Eva Vandersmissen	Completion via Nearness for Metrically Generated Constructs.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 54 E17, 54 E50, 54 A05, 54 B30, 18 B99
23	Cheng Wang 0013, Wei-Yu Chen, Youfeng Wu, Bratin Saha, Ali-Reza Adl-Tabatabai	Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language.	CGO	2007	DBLP DOI BibTeX RDF
23	Pasquale Malacaria	Assessing security threats of looping constructs.	POPL	2007	DBLP DOI BibTeX RDF	security, information theory, language semantics
23	András Balogh, Dániel Varró	Advanced model transformation language constructs in the VIATRA2 framework.	SAC	2006	DBLP DOI BibTeX RDF
23	Erin Cody-Allen, Rajiv Kishore	An extension of the UTAUT model with e-quality, trust, and satisfaction constructs.	CPR	2006	DBLP DOI BibTeX RDF	e-business systems, intention to use, unified theory of acceptance and use of technology, quality
23	Paul L. Master	Reconfigurable Hardware and Software Architectural Constructs for the Enablement of Resilient Computing Systems.	ASAP	2006	DBLP DOI BibTeX RDF
23	Thomas Baar	Non-deterministic Constructs in OCL - What Does any() Mean.	SDL Forum	2005	DBLP DOI BibTeX RDF
23	Agustín Goñi, Yadran Eterovic	Building Precise UML Constructs to Model Concurrency Using OCL.	UML	2004	DBLP DOI BibTeX RDF
23	Chia-Chu Chiang	Low-level language constructs considered harmful for distributed parallel programming.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	middleware, parallelism, coordination, CORBA
23	Paul Tarau	Agent Oriented Logic Programming Constructs in Jinni 2004.	ICLP	2004	DBLP DOI BibTeX RDF
23	Hong Li Yang, Jun Gang Han, Ke Gang Hao	The Common Semantic Constructs of XML Family.	ICFEM	2003	DBLP DOI BibTeX RDF
23	Nathan R. Fredrickson, Ahmad Afsahi, Ying Qian	Performance characteristics of openMP constructs, and application benchmarks on a large symmetric multiprocessor.	ICS	2003	DBLP DOI BibTeX RDF	NAS OpenMP, SPEC OMPL2001, performance evaluation, high-performance computing, OpenMP, SMP
23	Huang Chun, Yang Xuejun	Improve OpenMP Performance by Extending BARRIER and REDUCTION Constructs.	ISHPC	2003	DBLP DOI BibTeX RDF
23	Hui Liu, Minglu Li 0001, Jiadi Yu, Lei Cao 0005, Ying Li 0013, Wei Jin, Qi Qian	Lattice Framework to Implement OGSA: Its Constructs and Composition Scenario.	GCC (2)	2003	DBLP DOI BibTeX RDF
23	Alec Engebretson, Susan Wiedenbeck	Novice Comprehension of Programs Using Task-Specific and Non-Task-Specific Constructs.	HCC	2002	DBLP DOI BibTeX RDF
23	Egidio Astesiano, Maura Cerioli, Gianna Reggio	Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML.	AMAST	2000	DBLP DOI BibTeX RDF
23	Jaeyoung Yang, Eunseok Lee 0001, Joongmin Choi	A Shopping Agent That Automatically Constructs Wrappers for Semi-Structured Online Vendors.	IDEAL	2000	DBLP DOI BibTeX RDF
23	Peter A. Walker, Sumit Ghosh	On the nature and inadequacies of transport timing delay constructs in VHDL descriptions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
23	Dickson Lukose	Complex Modelling Constructs in MODEL-ECS.	ICCS	1997	DBLP DOI BibTeX RDF
23	Ricardo Bianchini, Enrique V. Carrera, Leonidas I. Kontothanassis	The Interaction of Parallel Programming Constructs and Coherence Protocols.	PPoPP	1997	DBLP DOI BibTeX RDF
23	King Sing Cheung, Paul Kai-On Chow, T. Y. Cheung	Towards an Integration of Syntactic Constructs and Structural Features for Formalised Object-Oriented Methods.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Formal method, Object-oriented method, Software specification
23	Gene Fuh, Jyh-Herng Chow, Nelson Mendonça Mattos, Brian T. Tran	Supporting procedural constructs in existing SQL compilers.	CASCON	1996	DBLP BibTeX RDF	SQL
23	Joel E. Richardson, Michael J. Carey 0001	Programming Constructs for Database System Implementation in EXODUS.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF	EXODUS
23	Joachim W. Schmidt	Some High Level Language Constructs for Data of Type Relation.	ACM Trans. Database Syst.	1977	DBLP DOI BibTeX RDF	database, high level language, relational model, data type, language extension, relational calculus, nonprocedural language
23	Joachim W. Schmidt	Some High-level Language Constructs for Data of Type Relation (Abstract).	SIGMOD Conference	1977	DBLP DOI BibTeX RDF	non-procedural language, high-level language, relational model, data type, data base, language extension, relational calculus
22	Craig Van Slyke, Richard D. Johnson, Ross Hightower, Wafa Elgarah	Implications of researcher assumptions about perceived relative advantage and compatibility.	Data Base	2008	DBLP DOI BibTeX RDF	innovation diffusion theory, relative advantage, scale reuse, adoption, compatibility
22	Michael zur Muehlen, Jan Recker	How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation.	CAiSE	2008	DBLP DOI BibTeX RDF	Process Modeling, BPMN, Language Analysis
22	Vijay A. Saraswat, Vivek Sarkar, Christoph von Praun	X10: concurrent programming for modern architectures.	PPoPP	2007	DBLP DOI BibTeX RDF	concurrent programming languages, fork-join parallelism, global shared memory, high performance computing languages, partitioned global address space languages, asynchrony, X10, hierarchical parallelism
22	Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2.	FMCO	2005	DBLP DOI BibTeX RDF
22	Yair Wand, Veda C. Storey, Ron Weber	An Ontological Analysis of the Relationship Construct in Conceptual Modeling.	ACM Trans. Database Syst.	1999	DBLP DOI BibTeX RDF	ontology, conceptual modeling, object-oriented modeling, database design, entity-relationship model, semantic data modeling
22	Jon G. Riecke, Hayo Thielecke	Typed Exeptions and Continuations Cannot Macro-Express Each Other.	ICALP	1999	DBLP DOI BibTeX RDF
22	Neal Glew	Type Dispatch for Named Hierarchical Types.	ICFP	1999	DBLP DOI BibTeX RDF
22	Geoffrey S. Hubona, Sarah Geitz	External Variables, Beliefs, Attitudes and Information Technology Usage Behavior.	HICSS (3)	1997	DBLP DOI BibTeX RDF
22	Magdy S. Hanna	A Close Look at the IFO Data Model.	SIGMOD Rec.	1995	DBLP DOI BibTeX RDF
22	Jin Song Dong	Living with Free Type and Class Union.	APSEC	1995	DBLP DOI BibTeX RDF
22	Dan Fass	Four General Representations and Processes for Use in Problems Solving.	KBCS	1989	DBLP DOI BibTeX RDF
22	Kees Middelburg	The VIP VDM Specification Language.	VDM Europe	1988	DBLP DOI BibTeX RDF
21	Tom Rothamel, Yanhong A. Liu	Generating incremental implementations of object-set queries.	GPCE	2008	DBLP DOI BibTeX RDF	automatic incrementalization, query constructs, program optimization
21	Franco Cicirelli, Angelo Furfaro, Libero Nigro	Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Temporal uncertainty, Time interval based event delivery, Modelling complex real-time systems, Modularity constructs, Petri Net Markup Language, Distributed simulation, Time Petri nets, Time warp, Temporal analysis, Logical clocks
21	Jeannette Hemmecke, Chris Stary	The Tacit Dimension of User Tasks: Elicitation and Contextual Representation.	TAMODIA	2006	DBLP DOI BibTeX RDF	User-task elicitation, mental constructs, design-knowledge acquisition, task context, task awareness, model-based design, externalization, user-interface specification, repertory grids
21	Bratin Saha, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Chi Cao Minh, Ben Hertzberg	McRT-STM: a high performance software transactional memory system for a multi-core runtime.	PPoPP	2006	DBLP DOI BibTeX RDF	atomic constructs, two-phase locking and read-versioning, software transactional memory, runtime environment