1702 search results - page 175 / 341 » Doomed program points |
156
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
162
click to vote
ESAW
2009
Springer
16 years 18 days ago
2009
Springer
In sociology, the role concept is deeply researched to predict activities of human organizations and theorized with many sub-theories. In the same direction, multi-agent system res...
140
click to vote
CEC
2008
IEEE
16 years 15 days ago
2008
IEEE
—Limited numerical precision of nVidia GeForce 8800 GTX and other GPUs requires careful implementation of PRNGs. The Park-Miller PRNG is programmed using G80’s native Value4f ...
147
click to vote
ISORC
2008
IEEE
16 years 12 days ago
2008
IEEE
The Real-time Specification for Java extends the Java platform to support real-time processing and introduces a region-based memory model, called scoped memory, which side-steps ...
132
click to vote
AAIM
2008
Springer
16 years 11 days ago
2008
Springer
Facility Location can be seen as a whole family of problems which have many obvious applications in economics. They have been widely explored in the Operations Research community, ...