Skip to search formSkip to main contentSkip to account menu

ThreadX

Known as: Express Logic 
ThreadX, developed and marketed by Express Logic, Inc. of San Diego, California, United States, is a real-time operating system (RTOS). Similar… 
Wikipedia (opens in a new tab)

Related topics

Related topics

31 relations
ARM architectureAssembly languageBaseband processorBlackfin

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Visual programming in three dimensions : visual representations of computational mental models
Code is a tool to express logic, method, and function. It has form and is intended to be read by humans. One of the goals of this… 
2010
2010
Cross-Layer Customization for low Power and High Performance Embedded Multi-Core Processors
Title of dissertation: CROSS-LAYER CUSTOMIZATION FOR LOW POWER AND HIGH PERFORMANCE EMBEDDED MULTI-CORE PROCESSORS Chenjie Yu… 
Review
2009
Review
2009
Chapter 13 – Thread Communication with Message Queues
2009
2009
Real-Time Embedded Multithreading Using ThreadX
Second Edition Chapter 1 - Embedded and Real-Time Systems Chapter 2 - First Look at a System Using an RTOS Chapter 3 - RTOS… 
2006
2006
Demonstration of Multitasking using ThreadX RTOS on Microblaze and PowerPC
The objective of this project is to implement and demonstrate multiprocessing in a real-time environment using ThreadX RTOS on… 
2005
2005
Real-Time Embedded Multithreading: Using ThreadX and ARM
Use the industry's most popular RTOS/processor combination to develop embedded applications that are small, fast, reliable, and… 
1996
1996
Design technique of I2L circuits based on multi-valued logic
This paper proposes the use of the current signal to express logic values and establishes the theory of grounded current switches… 
1994
1994
Program tactics and logic tactics
In this paper we present a first order classical metatheory, called MT, with the following properties: (1) tactics are terms of… 
1992
1992
High performance simplification-based automated deduction
Abstract : Equational logic is one of the most important domains of research in computer science. Specifications of types of data… 
Review
1986
Review
1986
Formal Specification of Natural Language Syntax Using Two-Level Grammar
The two-level g rammar is investigated as a notation for giving formal specification of the context-frec and context-sensitive… 
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)