Search Results for Semantics.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

21 Results Found

1 2

000000000DEFAULT

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

13.

Lightweight Programming Abstractions for Increased Safety and Performance

Osvald, Leo, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10808010

Format:

Excerpt:

borrowed references with Rust's semantics, including no mutable aliasing, but in a flow-insensitive setting

14.

Wide-Area Software-Defined Storage

Nelson, Jude Christopher, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10824272

Format:

Excerpt:

, they must work to preserve the application's expected storage semantics, i.e. the rules governing how

15.

SAF-Dl: Semantic Analysis Framework for Deep Learning Open Source Projects

Tripathi, Rashmi, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10825611

Format:

Excerpt:

functional paths and between projects. The SAF-DL pipeline transformation from source code to the semantics

16.

Exploiting Implicit Belief to Resolve Sparse Usage Problem in Usage-Based Specification Mining

Khairunnesa, Samantha Syeda, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10640103

Format:

Excerpt:

about a program is known implicitly to a programmer via the language's constructs and semantics, and

17.

Practical Formal Techniques and Tools for Developing LLVM's Peephole Optimizations

Menendez, David, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10902033

Format:

Excerpt:

It is essential that these optimizations preserve the semantics of input programs. Even a small

18.

Invariant preservation in geo-replicated data stores

Sousa, Valter Balegas de, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10798766

Format:

Excerpt:

reconciliation, or, if modifying operations provides an unsatisfactory semantics, it is possible to correct any

19.

Techniques for Memory-efficiency, Low-latency and High-throughput in RDMA-based Datacenter Networks and Applications

Xue, Jiachen, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10262181

Format:

Excerpt:

. The use of indirection enables RIMA to employ 'append' semantics which is vastly more efficient than

20.

Advances in computers. Volume 41

Zelkowitz, Marvin V., 1945-

ScienceDirect https://www.sciencedirect.com/science/book/9780120121410
ScienceDirect https://www.sciencedirect.com/science/bookseries/00652458/41

Format:

Excerpt:

Semantics of Integration; 4. Integration in Practice: Process Aspects of Integration; 5. The Conditions

Cover image for Proceedings of the 23rd International Conference on Industrial Engineering and Engineering Management 2016 Theory and Application of Industrial Engineering

21.

Proceedings of the 23rd International Conference on Industrial Engineering and Engineering Management 2016 Theory and Application of Industrial Engineering

Qi, Ershi. editor.

http://dx.doi.org/10.2991/978-94-6239-255-7

Format:

Excerpt:

Conditional Probability -- 11.Adaptive Grasping and Adjusting Method of Virtual Hand Gestures with Semantics

	{displayName}	{count}
{error}