24529 search results - page 4510 / 4906 » Computing on Authenticated Data |
144
Voted
ENTCS
2008
15 years 5 months ago
2008
Timing Closure in presence of long global wire interconnects is one of the main current issues in System-onChip design. One proposed solution to the Timing Closure problem is Late...
139
Voted
ENTCS
2008
15 years 5 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
128
click to vote
ANOR
2006
15 years 5 months ago
2006
To solve a decision problem under uncertainty via stochastic programming means to choose or to build a suitable stochastic programming model taking into account the nature of the r...
149
click to vote
ANOR
2006
15 years 5 months ago
2006
In this paper we introduce a new formulation of the logistics network design problem encountered in deterministic, single-country, single-period contexts. Our formulation is flexi...
144
click to vote
CAGD
2006
15 years 5 months ago
2006
We describe how some simple properties of discrete one-forms directly relate to some old and new results concerning the parameterization of 3D mesh data. Our first result is an ea...