3872 search results - page 585 / 775 » The Java memory model |
113
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
160
Voted
BMCBI
2011
14 years 9 months ago
2011
Background: The prediction of the structure of large RNAs remains a particular challenge in bioinformatics, due to the computational complexity and low levels of accuracy of state...
143
click to vote
EMSOFT
2011
Springer
14 years 2 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
132
click to vote
ICIP
2006
IEEE
16 years 4 months ago
2006
IEEE
We present a method for solving the light integral problem for synthetic diffuse objects rendered within a natural scene. The approach generates realistic shading using only a few...
203
click to vote
ICDE
2005
IEEE
16 years 3 months ago
2005
IEEE
In this paper we introduce the idea of snapshot queries for energy efficient data acquisition in sensor networks. Network nodes generate models of their surrounding environment th...