17 results on '"Yuepeng Wang"'
Search Results
2. Declarative smart contracts.
3. Automatic Repair for Network Programs.
4. Sporq: An Interactive Environment for Exploring Code using Query-by-Example.
5. Synthesizing data structure refinements from integrity constraints.
6. CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation.
7. Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain.
8. Synthesizing database programs for schema refactoring.
9. Component-based synthesis for complex APIs.
10. Hunter: next-generation code reuse for Java.
11. China Topsoil Stripping Suitability Evaluation Based on Soil Properties.
12. Mutual privacy-preserving regression modeling in participatory sensing.
13. Approaching reliable realtime communications? A novel system design and implementation for roadway safety oriented vehicular communications.
14. A localized backbone renovating algorithm for wireless ad hoc and sensor networks.
15. Simulation Research on the Stock Control Strategy of VMI Combined Revenue Sharing.
16. Positive/Negative Pulse Charging Technology of Battery Based on PFC-LLC Topology
17. Prediction and control of financial crisis based on chaotic system.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.