1027 search results - page 106 / 206 » A Model for Java with Wildcards |
183
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
282
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. It is common for large-scale Java applications to suffer memory problems, whether inefficient designs that impede scalability, or lifetime bugs such as leaks. Making sens...
184
click to vote
PPPJ
2009
ACM
16 years 1 months ago
2009
ACM
Accelerated graphics cards, or Graphics Processing Units (GPUs), have become ubiquitous in recent years. On the right kinds of problems, GPUs greatly surpass CPUs in terms of raw ...
150
click to vote
ESOP
2007
Springer
16 years 13 days ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
179
click to vote
ECRTS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...