1054 search results - page 173 / 211 » From a Verified Kernel towards Verified Systems |
103
click to vote
ECIS
2003
15 years 3 months ago
2003
Multiple combinations of hardware and network components can be selected to design an information technology (IT) infrastructure that satisfies performance requirements. The profe...
106
click to vote
WSCG
2004
15 years 3 months ago
2004
Inverse rendering infers realistic descriptions of illumination and material properties from photographs. However, the applicability of state of the art inverse rendering algorith...
111
click to vote
FMICS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
135
click to vote
HPDC
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper proposes a comprehensive modeling architecture for workloads on parallel computers using Markov chains in combination with state dependent empirical distribution functi...
123
click to vote
ADHOC
2007
15 years 2 months ago
2007
In large and dense mobile ad hoc networks, position-based routing protocols can offer significant performance improvement over topology-based routing protocols by using location...