4940 search results - page 532 / 988 » On the Complexity of Universal Programs |
168
click to vote
SAS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
167
click to vote
SIGADA
2004
Springer
16 years 6 days ago
2004
Springer
The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features propo...
218
click to vote
ICSM
2003
IEEE
16 years 4 days ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...
199
click to vote
IPPS
2003
IEEE
16 years 4 days ago
2003
IEEE
Real-time systems usually operate in an environment that changes continuously. These changes cause the performance of the system to vary during run time. An allocation of resource...
183
click to vote
KBSE
2003
IEEE
16 years 3 days ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...