Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Bricklayer: an authentic introduction to the functional programming language SML
V Winter - arxiv preprint arxiv:1412.4881, 2014 - arxiv.org
Functional programming languages are seen by many as instrumental to effectively utilizing
the computational power of multi-core platforms. As a result, there is growing interest to …
the computational power of multi-core platforms. As a result, there is growing interest to …
Using program transformation, annotation, and reflection to certify a java type resolution function
VL Winter, C Reinke, J Guerrero - 2014 IEEE 15th International …, 2014 - ieeexplore.ieee.org
In Java, type resolution is a function that takes a reference to a type occurring in a given
context as input, and returns the canonical form of that type. This information is fundamental …
context as input, and returns the canonical form of that type. This information is fundamental …
Design of multi-mode 4-switch buck-boost controller
L Jiana, W **aobo - Proceedings of the 2009 ACM/IEEE international …, 2009 - dl.acm.org
In order to raise the utilization ratio of Lithium-Ion batteries, a multi-mode buck-boost
controller IC was proposed. It could be applied to a 4-switch cascade buck-boost converter …
controller IC was proposed. It could be applied to a 4-switch cascade buck-boost converter …
High Consequence Systems and Semantic Computing
Socioeconomic needs combined with technological advances are creating a demand for an
increasing number of systems for which high-assurance is an essential attribute. These …
increasing number of systems for which high-assurance is an essential attribute. These …
Java Source Code Analysis for API Migration to Embedded Systems
V Winter, JA McCoy, J Guerrero, CW Reinke, JT Perry - 2015 - osti.gov
Embedded systems form an integral part of our technological infrastructure and oftentimes
play a complex and critical role within larger systems. From the perspective of reliability …
play a complex and critical role within larger systems. From the perspective of reliability …
Certifying a java type resolution function using program transformation, annotation, and reflection
V Winter, C Reinke, J Guerrero - Software Quality Journal, 2016 - Springer
In Java, type resolution is a function that takes a reference to a type occurring in a given
context as input and returns the canonical name of that type. This information is fundamental …
context as input and returns the canonical name of that type. This information is fundamental …
[PDF][PDF] Using Program Transformation Annotation and Reflection to Certify a Java Type Resolution Function.
JT Perry, VL Winter, C Reinke, J Guerrero - 2012 - osti.gov
References 10 Abstract—In Java, type resolution is a function that takes a reference to a
type occurring in a given context as input, and returns the canonical form of that type. This …
type occurring in a given context as input, and returns the canonical form of that type. This …
[PDF][PDF] Monarch: A High-Assurance Java-to-java (J2j) Source-code Migrator.
JT Perry, VL Winter, J Guerrero, C Reinke - 2011 - osti.gov
JVM-based processors used in embedded systems are often scaled back versions of the
standard JVM which do not support the full set of Java bytecodes and native methods …
standard JVM which do not support the full set of Java bytecodes and native methods …