4418 search results - page 790 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
156
click to vote
PDPTA
2000
15 years 7 months ago
2000
When evaluating quantitative aspects of communication networks using simulation, one of the main difficulties to face is the often considerable computing power required. In some s...
152
click to vote
HASKELL
2008
ACM
15 years 7 months ago
2008
ACM
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
179
click to vote
MCS
2007
Springer
15 years 6 months ago
2007
Springer
Mesh generation is a critical step in high fidelity computational simulations. High-quality and high-density meshes are required to accurately capture the complex physical phenome...
153
click to vote
NGC
2002
Springer
15 years 6 months ago
2002
Springer
Abundant content, data type and diverse members' interests naturally lead to preference heterogeneity within a multicast session requiring frequent communication within subgr...
140
click to vote
MP
2010
15 years 4 months ago
2010
Abstract We present a matrix-free line search algorithm for large-scale equality constrained optimization that allows for inexact step computations. For sufficiently convex problem...