Sciweavers

258 search results - page 34 / 52
» Arrays of objects
Sort
View
ESOP
2007
Springer
15 years 1 months ago
A Certified Lightweight Non-interference Java Bytecode Verifier
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
Gilles Barthe, David Pichardie, Tamara Rezk
90
Voted
CVPR
2012
IEEE
13 years 1 days ago
Capturing relightable images using computer monitors
Image based relighting techniques are a popular choice for generating photo-realistic images of objects under any lighting condition. A typical process for creating such a model i...
Prabath Gunawardane, Steven Scher, James Davis
CEC
2005
IEEE
15 years 3 months ago
Evolution of L-systems for compact virtual landscape generation
An L-system or Lindenmayer system consists of a grammar and an interpreter. The grammar contains an axiom, usually a short string, that the grammar expands into a long, complex st...
Daniel A. Ashlock, Stephen P. Gent, Kenneth Mark B...
MICRO
2000
IEEE
176views Hardware» more  MICRO 2000»
14 years 9 months ago
An Advanced Optimizer for the IA-64 Architecture
level of abstraction, compared with the program representation for scalar optimizations. For example, loop unrolling and loop unrolland-jam transformations exploit the large regist...
Rakesh Krishnaiyer, Dattatraya Kulkarni, Daniel M....
ICAT
2006
IEEE
15 years 3 months ago
Air-Jet Button Effects in AR
Providing haptic cues can generate increased levels of presence in users as they interact with tangible objects. In this paper, we present button effects delivered by air-jet displ...
Yeongmi Kim, Sehun Kim, Taejin Ha, Ian Oakley, Woo...