Sciweavers

323 search results - page 15 / 65
» Verify Your Runs
Sort
View
SAS
2009
Springer
281views Formal Methods» more  SAS 2009»
14 years 8 months ago
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...
David Niedzielski, Jeffery von Ronne, Andreas Gamp...
ICDCSW
2005
IEEE
14 years 1 months ago
IASO - An Activity-Based Computing Platform for Wearable Computing
Displaying and navigating complex information on wearable computers is very different from accessing the same information while sitting at your desk. Limitations in hardware, scre...
Jakob E. Bardram, Jonathan Bunde-Pedersen
SIGPLAN
1998
13 years 7 months ago
Unloading Java Classes That Contain Static Fields
In Java the de nition of a \program" is a bit fuzzy. A Java applet is essentially a Java application (i.e. program) that can be executed by a Java enabled Web browser (i.e. a...
Charles E. McDowell, Elizabeth A. Baldwin
KES
2010
Springer
13 years 5 months ago
Text-to-Video: Story Illustration from Online Photo Collections
Abstract. We present a first system to semi-automatically create a visual representation for a given, short text. We first parse the input text, decompose it into suitable units,...
Katharina Schwarz, Pavel Rojtberg, Joachim Caspar,...
TRECVID
2007
13 years 8 months ago
Determination of Shot Boundary in MPEG Videos for TRECVID 2007
TURED ABSTRACT Detection of shot boundary plays important roles in many video applications. Herein, a novel method on shot boundary detection from compressed video is proposed. Fir...
Jinchang Ren, Jianmin Jiang, Juan Chen