Add to ORKGThis paper presents a new test case generation technology, specifically targeted at verifying systems that include address translation mechanisms. The ever-growing demand for performance makes these mechanisms more complex, thereby increasing the risk of bugs and increasing the need for such technology. DeepTrans is a package that provides model-based test generation capabilities to verify translation mechanisms based on a modeling language. The modeling language includes constructs for describing the address translation process, commonly used translation resources, and architecture rules related to translation. Deep-Trans is currently used by two different IBM test generators. 1
Intelligibility and fidelity are the two key notions in machine translation system evaluation, but d...
Whenever software faults can endanger human life, property, or the environment, the absence of fault...
Large language models are becoming increasingly practical for translating code across programming la...
In this paper we describe the implementation of a tracedriven address translation simulator built us...
This paper presents TransRepair, a fully automatic approach for testing and repairing the consistenc...
This paper focuses on the inference of structural transfer rules for shallow-transfer machine transl...
The main motivation of this paper is to describe an architecture that intends to ease the verificati...
Commercial Translation Memory systems (tm) have been available on the market for over two decades no...
This upload contains the language models utilized in the paper "TransFool: An Adversarial Attack aga...
In recent years, a number of methods for verifying DNNs have been developed. Because the approaches ...
This thesis does research on new version of translation automata. It takes closer look at existing p...
Deep learning is revolutionizing speech and natural language technologies since it is offering an ef...
Speech translation is the translation of speech in one language typically to text in another, tradit...
. In this paper we describe the implementation of a multithreaded trace-driven address translation s...
Speech translation is the translation of speech in one language typically to text in another, tradit...
Intelligibility and fidelity are the two key notions in machine translation system evaluation, but d...
Whenever software faults can endanger human life, property, or the environment, the absence of fault...
Large language models are becoming increasingly practical for translating code across programming la...
In this paper we describe the implementation of a tracedriven address translation simulator built us...
This paper presents TransRepair, a fully automatic approach for testing and repairing the consistenc...
This paper focuses on the inference of structural transfer rules for shallow-transfer machine transl...
The main motivation of this paper is to describe an architecture that intends to ease the verificati...
Commercial Translation Memory systems (tm) have been available on the market for over two decades no...
This upload contains the language models utilized in the paper "TransFool: An Adversarial Attack aga...
In recent years, a number of methods for verifying DNNs have been developed. Because the approaches ...
This thesis does research on new version of translation automata. It takes closer look at existing p...
Deep learning is revolutionizing speech and natural language technologies since it is offering an ef...
Speech translation is the translation of speech in one language typically to text in another, tradit...
. In this paper we describe the implementation of a multithreaded trace-driven address translation s...
Speech translation is the translation of speech in one language typically to text in another, tradit...
Intelligibility and fidelity are the two key notions in machine translation system evaluation, but d...
Whenever software faults can endanger human life, property, or the environment, the absence of fault...
Large language models are becoming increasingly practical for translating code across programming la...