2061 search results - page 368 / 413 » Authorization for Metacomputing Applications |
141
click to vote
FOCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Robust optimization has traditionally focused on uncertainty in data and costs in optimization problems to formulate models whose solutions will be optimal in the worstcase among ...
144
Voted
ICDCSW
2005
IEEE
15 years 9 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 ...
148
click to vote
RTSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Monitoring network status such as end-to-end delay, jitter, and available bandwidth is important to support QoS-sensitive applications and timely detection of network anomalies li...
136
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
112
Voted
SC
2005
ACM
15 years 9 months ago
2005
ACM
We describe Miranda, a massively parallel spectral/compact solver for variabledensity incompressible flow, including viscosity and species diffusivity effects. Miranda utilizes...