4586 search results - page 898 / 918 » Computing stable models in parallel |
160
click to vote
SI3D
2010
ACM
16 years 22 days ago
2010
ACM
Volume caustics are intricate illumination patterns formed by light first interacting with a specular surface and subsequently being scattered inside a participating medium. Alth...
173
click to vote
PLDI
2009
ACM
16 years 21 days ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
168
click to vote
ICCCN
2008
IEEE
16 years 10 days ago
2008
IEEE
— Centrality is a concept often used in social network analysis to study different properties of networks that are modeled as graphs. We present a new centrality metric called Lo...
170
click to vote
ICDCSW
2005
IEEE
15 years 11 months ago
2005
IEEE
DiamondHelp is a reusable Java framework for building graphical user interfaces based on the collaborative paradigm of human-computer interaction. DiamondHelp´s graphical design ...
142
click to vote
HPCC
2005
Springer
15 years 11 months ago
2005
Springer
Distributed JVM systems enable concurrent Java applications to transparently run on clusters of commodity computers by supporting Java’s shared-memory model over multiple JVMs di...