1702 search results - page 175 / 341 » Doomed program points |
176
click to vote
CADE
2007
Springer
16 years 7 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...
177
click to vote
ESAW
2009
Springer
16 years 1 months 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...
157
click to vote
CEC
2008
IEEE
16 years 1 months 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 ...
163
click to vote
ISORC
2008
IEEE
16 years 1 months 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 ...
145
click to vote
AAIM
2008
Springer
16 years 1 months 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, ...