277 search results - page 52 / 56 » Precise reasoning for programs using containers |
157
Voted
PODC
2000
ACM
15 years 10 months ago
2000
ACM
Stampede is a parallel programming system to facilitate the programming of interactive multimedia applications on clusters of SMPs. In a Stampede application, a variable number of...
206
Voted
POPL
1998
ACM
15 years 10 months ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
146
Voted
ACSC
2005
IEEE
15 years 11 months ago
2005
IEEE
Component based software engineering (CBSE), can in principle lead to savings in the time and cost of software development, by encouraging software reuse. However the reality is t...
179
Voted
EH
1999
IEEE
15 years 10 months ago
1999
IEEE
We address the fundamental issue of fully automated design (FAD) and construction of inexpensive robots and their controllers. Rather than seek an intelligent general purpose robo...
181
Voted
WSE
2003
IEEE
15 years 11 months ago
2003
IEEE
Cloning is extremely likely to occur in web sites, much more so than in other software. While some clones exist for valid reasons, or are too small to eliminate, cloning percentag...