Texas Instruments Graphics Architecture

Known as: 34010 & 34020, Tiga 
Texas Instruments Graphics Architecture (TIGA) was a graphics interface standard created by Texas Instruments that defined the software interface to… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1999-2016
0519992016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
ion (synthesis) Uppaal Opt φ (synthesis) Uppaal Tiga φ Motivation Branches of Uppaal Strategies Architecture Query Language… (More)
Is this relevant?
2014
2014
The island of Bali has several traditional Aga villages that survive under the pressures of an intense tourist industry and… (More)
  • figure 1
  • table 1
  • table 2
  • figure 2
  • figure 3
Is this relevant?
2013
2013
In this paper we offer an efficient controller synthesis algorithm for assume-guarantee specifications of the form φ1 ∧φ2… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2010
Highly Cited
2010
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2010
2010
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the… (More)
  • figure 1
  • table 1
  • table 2
Is this relevant?
2010
2010
We propose an automated, tool-supported approach to scenario-based analysis and synthesis of real-time embedded systems. The… (More)
  • figure 2
  • figure 1
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
2009
2009
  • 2009
A study was conducted to quantitate the concentrations of heavy metals, such as Hg, Pb and Cd in eight species of marine fin fish… (More)
  • table 1
  • table 2
  • table 5
  • table 6
Is this relevant?
Highly Cited
2007
Highly Cited
2007
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to… (More)
  • figure 1
  • figure 2
Is this relevant?
2007
2007
We present a complete tool chain for automatic controller synthesis using Uppaal Tiga and Simulink. The tool chain is explored… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 8
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Information System Development (ISD) merupakan area yang memiliki banyak gejala konflik, antara lain permusuhan dan kecemburuan… (More)
Is this relevant?