Sciweavers

4116 search results - page 62 / 824
» Type Analysis for CHIP
Sort
View
JIPS
2007
100views more  JIPS 2007»
13 years 8 months ago
Static Type Assignment for SSA Form in CTOC
: Although the Java bytecode has numerous advantages, it also has certain shortcomings such as its slow execution speed and difficulty of analysis. In order to overcome such disadv...
Ki-Tae Kim, Weon-Hee Yoo
CGF
2010
117views more  CGF 2010»
13 years 8 months ago
SafeGI: Type Checking to Improve Correctness in Rendering System Implementation
Historically, rendering system development has been mainly focused on improving the numerical accuracy of the rendering algorithms and their runtime efficiency. In this paper, we ...
Jiawei Ou, Fabio Pellacini
SAS
2005
Springer
114views Formal Methods» more  SAS 2005»
14 years 2 months ago
Type-Safe Optimisation of Plugin Architectures
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
Neal Glew, Jens Palsberg, Christian Grothoff
ICASSP
2007
IEEE
13 years 10 months ago
Physics-Based Ball Tracking in Volleyball Videos with its Applications to Set Type Recognition and Action Detection
Despite a lot of research efforts in sports video processing, little work was done in volleyball video analysis due to the high density of players on the court and the complicated...
Hua-Tsung Chen, Hsuan-Sheng Chen, Suh-Yin Lee
SIGMETRICS
2002
ACM
142views Hardware» more  SIGMETRICS 2002»
13 years 8 months ago
Exact aggregate solutions for M/G/1-type Markov processes
We introduce a new methodology for the exact analysis of M/G/1-type Markov processes. The methodology uses basic, well-known results for Markov chains by exploiting the structure ...
Alma Riska, Evgenia Smirni