1210 search results - page 146 / 242 » Formal Techniques for Java Programs |
104
click to vote
IWMM
2000
Springer
15 years 5 months ago
2000
Springer
The IA-64, Intel's 64-bit instruction set architecture, exhibits a number of interesting architectural features. Here we consider those features as they relate to supporting ...
104
click to vote
WSCG
2003
15 years 3 months ago
2003
This paper presents our work on an experimental system for visualization of the light load. The light load is thought as the total amount of light radiation received by all areas ...
131
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
102
click to vote
LCTRTS
2005
Springer
15 years 7 months ago
2005
Springer
Real-time garbage collection has been shown to be feasible, but for programs with high allocation rates, the utilization achievable is not sufficient for some systems. Since a hi...
120
click to vote
CC
2010
Springer
15 years 9 months ago
2010
Springer
Instead of writing SQL queries directly, programmers often prefer writing all their code in a general purpose programming language like Java and having their programs be automatica...