5343 search results - page 638 / 1069 » Keyword programming in java |
233
click to vote
CASES
2006
ACM
16 years 26 days ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
187
click to vote
PLDI
2006
ACM
16 years 25 days ago
2006
ACM
The number and the importance of web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
162
click to vote
SIGUCCS
2006
ACM
16 years 25 days ago
2006
ACM
In recent years, the use of a computer has become a requirement for success in a collegiate environment, and the demand for mobile computing has sharply increased. In response to ...
181
click to vote
KBSE
2005
IEEE
16 years 14 days ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
184
click to vote
ASPLOS
2004
ACM
16 years 10 days ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...