10575 search results - page 1767 / 2115 » Programming Languages |
157
click to vote
SIGADA
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
156
click to vote
WAIM
2005
Springer
16 years 6 days ago
2005
Springer
We address the problem that current Web applications present mainly the content-centric information, but lack cues and browsing mechanisms for online social information. After summ...
158
click to vote
SIGCSE
2004
ACM
16 years 4 days ago
2004
ACM
The event driven paradigm is ubiquitous in modern software. Many texts introduce events when discussing graphical user interfaces, but the event paradigm extends well beyond that ...
178
click to vote
CC
2004
Springer
16 years 4 days ago
2004
Springer
An important issue in embedded systems design is the size of programs. As computing devices decrease in size, yet with more and more functions, better code size optimizations are i...
182
click to vote
CC
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...