520 results on '"Zhenjiang Hu"'
Search Results
102. BiFluX: A Bidirectional Functional Update Language for XML.
103. Monadic combinators for 'Putback' style bidirectional programming.
104. Formal derivation and extraction of a parallel program for the all nearest smaller values problem.
105. Issues in representing domain-specific concerns in model-driven engineering.
106. A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduce.
107. A parameterized graph transformation calculus for finite graphs with monadic branches.
108. Programming with BSP Homomorphisms.
109. Minimizing data transfers for regular reachability queries on distributed graphs.
110. Efficient query evaluation on distributed graphs with Hadoop environment.
111. Towards systematic parallel programming of graph problems via tree decomposition and tree parallelism.
112. Structural recursion for querying ordered graphs.
113. Maintaining invariant traceability through bidirectional transformations.
114. Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce.
115. VoiceJava: A Syntax-Directed Voice Programming Language for Java
116. Toward Bidirectionalization of ATL with GRoundTram.
117. Graph-transformation verification using monadic second-order logic.
118. Towards Systematic Parallel Programming over MapReduce.
119. GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations.
120. Marker-Directed Optimization of UnCAL Graph Transformations.
121. A View-based Programmable Architecture for Controlling and Integrating Decentralized Data.
122. Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -.
123. Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels.
124. Context-Preserving XQuery Fusion.
125. Generators-of-Generators Library with Optimization Capabilities in Fortress.
126. Gradual Refinement.
127. Systematic Development of Correct Bulk Synchronous Parallel Programs.
128. Tolerating Inconsistency in Feature Models.
129. Program Calculation in Coq.
130. A Grammar-Based Approach to Invertible Programs.
131. Combining syntactic and semantic bidirectionalization.
132. Bidirectionalizing graph transformations.
133. A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models.
134. Context-preserving XQuery fusion.
135. Constructing format-preserving printing from syntax-directed definitions.
136. The essence of bidirectional programming.
137. Supporting Parallel Updates with Bidirectional Model Transformations.
138. Bidirectional Transformations: A Cross-Discipline Perspective.
139. A compositional approach to bidirectional model transformation.
140. Supporting automatic model inconsistency fixing.
141. Type-based specialization of xml transformations.
142. Generating Synchronization Engines between Running Systems and Their Model-Based Views.
143. Towards a compositional approach to model transformation for software development.
144. The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer.
145. Consistent Web site updating based on bidirectional transformation.
146. Enforcing a security pattern in stakeholder goal models.
147. Domain-Specific Optimization Strategy for Skeleton Programs.
148. Towards automatic model synchronization from model transformations.
149. A Web Service Architecture for Bidirectional XML Updating.
150. Automatic inversion generates divide-and-conquer parallel programs.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.