Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,331,572 papers from all fields of science
Search
Sign In
Create Free Account
Typed assembly language
Known as:
TAL
, Typed assembler language
In computer science, a typed assembly language (TAL) is an assembly language that is extended to include a method of annotating the datatype of each…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
16 relations
.NET Framework
Assembly language
Comparison of assemblers
Computer science
Expand
Broader (2)
Computer security
Programming language theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Les apports du TAL à la lisibilité du français langue étrangère [Contributions of NLP to the readability of French as a foreign language]
Thomas François
,
Cédrick Fairon
ICON
2013
Corpus ID: 41776385
Cet article rapporte une serie d’experiences visant a (1) evaluer la contribution du TAL a la problematique de la lisibilite des…
Expand
2011
2011
A Ternary Adiabatic Logic (TAL) implementation of a four-trit Full-Adder
D.J. Willingham
,
I. Kale
Nordic Microelectronics Event
2011
Corpus ID: 19113257
In this paper, a ternary Full-Adder capable of reducing four input trits (ternary-digits) to two output trits is presented using…
Expand
2011
2011
Adaptive design of tracking area list in LTE
Y. Chung
Eighth International Conference on Wireless and…
2011
Corpus ID: 14471169
In Long Term Evolution (LTE), service area is divided into tracking areas (TAs), which consist of a group of cells and do not…
Expand
2010
2010
Dynamic Tracking Area List configuration and performance evaluation in LTE
S. M. Razavi
,
D. Yuan
,
F. Gunnarsson
,
Johan Moe
IEEE Globecom Workshops
2010
Corpus ID: 23605613
Reducing the signaling overhead for tracing user equipment (UE), while maintaining the improved performance over time despite the…
Expand
2007
2007
Compiling C Programs into a Strongly Typed Assembly Language
Takahiro Kosakai
,
T. Maeda
,
A. Yonezawa
Asian Computing Science Conference
2007
Corpus ID: 36874399
C is one of the most popular languages in system programming, though its unsafe nature often causes security vulnerabilities. In…
Expand
2002
2002
SAFE EXECUTION OF USER PROGRAMS IN KERNEL MODE USING TYPED ASSEMBLY LANGUAGE by
T. Maeda
2002
Corpus ID: 18672269
In traditional operating systems, user programs suffer from the overhead of system calls because of transitions between the user…
Expand
2001
2001
A dependently typed assembly language
XiHongwei
,
Harperrobert
2001
Corpus ID: 215961088
We present a dependently typed assembly language (DTAL) in which the type system supports the use of a restricted form of…
Expand
2000
2000
Scalable Certification for Typed Assembly Language
D. Grossman
,
G. Morrisett
Tic
2000
Corpus ID: 1034258
A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations…
Expand
1995
1995
Multiple target tracking using maximum likelihood principle
A. Satish
,
R. Kashyap
IEEE Transactions on Signal Processing
1995
Corpus ID: 22289332
Proposes a method (tracking algorithm (TAL)) based on the maximum likelihood (ML) principle for multiple target tracking in near…
Expand
1989
1989
Total absorption of light in metallic gratings : a comparative analysis of spectral dependence for shallow and deep grooves
E. Popov
1989
Corpus ID: 55980723
Abstract A numerical analysis of the total absorption of light (TAL) in shallow and deep metallic gratings with a sinusoidal…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE