4722 search results - page 790 / 945 » Encoding Program Executions |
163
click to vote
HIPEAC
2011
Springer
14 years 2 months ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...
173
click to vote
VEE
2012
ACM
13 years 10 months ago
2012
ACM
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...
139
click to vote
ECCV
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. We introduce a shape detection framework called Contour Context Selection for detecting objects in cluttered images using only one exemplar. Shape based detection is inva...
126
click to vote
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
134
click to vote
WWW
2002
ACM
16 years 3 months ago
2002
ACM
The organization of HTML into a tag tree structure, which is rendered by browsers as roughly rectangular regions with embedded text and HREF links, greatly helps surfers locate an...