1937 search results - page 191 / 388 » Adaptation-based programming in java |
109
Voted
TCS
2008
15 years 19 days ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
74
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...
116
Voted
ICAS
2006
IEEE
15 years 6 months ago
2006
IEEE
By harnessing computational power of distributed heterogeneous resources, it is possible to build a large scale integrated system so that a centralized program is partitioned and ...
105
Voted
WCRE
2006
IEEE
15 years 6 months ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
96
Voted
VL
2005
IEEE
15 years 6 months ago
2005
IEEE
Structured program editors can lower the entry barrier for beginning computer science students by preventing syntax errors. However, when editors force programs to be executable a...