278 search results - page 51 / 56 » Obstacles in Object-Oriented Software Development |
CGO
2003
IEEE
15 years 5 months ago
2003
IEEE
Dynamic optimization is emerging as a promising approach to overcome many of the obstacles of traditional static compilation. But while there are a number of compiler infrastructu...
SIMUTOOLS
2008
15 years 1 months ago
2008
In this paper we present a methodology for the evaluation of networked systems communicating using WLAN technology. We show a case study of goal-oriented cooperating robots, for w...
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
107
click to vote
OOPSLA
1999
Springer
15 years 4 months ago
1999
Springer
The Advanced Teaching and Learning Academic Server (Atlas) is a software system that supports web-based learning. Students can register for courses, and can navigate through perso...
102
click to vote
ICPP
1997
IEEE
15 years 3 months ago
1997
IEEE
r The lack of a versatile software tool for parallel program development has been one of the major obstacles for exploiting the potential of high-performance architectures. In this...