1107 search results - page 51 / 222 » XAIRA : software for language analysis |
ICSE
2009
IEEE-ACM
14 years 11 months ago
2009
IEEE-ACM
Modern software applications require internationalization to be distributed to different regions of the world. In various situations, many software applications are not internatio...
VMCAI
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
ASAP
2005
IEEE
14 years 4 months ago
2005
IEEE
In this paper, we propose a hardware/software partitioning method for improving applications’ performance in embedded systems. Critical software parts are accelerated on hardwar...
GCC
2004
Springer
14 years 4 months ago
2004
Springer
Services are usually developed and deployed independently; and systems can be formed by composing relevant services to achieve set goals. In such an open and dynamic environment, s...
PADL
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast ...