10159 search results - page 159 / 2032 » System Design Validation Using Formal Models |
122
click to vote
GLOBECOM
2008
IEEE
15 years 9 months ago
2008
IEEE
—Multi-input multi-output (MIMO) receivers have been designed and their communication performance analyzed under the assumption of additive Gaussian noise. Wireless transceivers,...
97
Voted
ECBS
2008
IEEE
15 years 9 months ago
2008
IEEE
Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situation...
169
Voted
ESEM
2010
ACM
15 years 2 months ago
2010
ACM
Software designs decay over time. While most studies focus on decay at the system level, this research studies design decay on well understood micro architectures, design patterns...
146
Voted
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
We model and verify analog designs in the presence of noise and process variation using an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we propose ...
110
click to vote
INFOCOM
2005
IEEE
15 years 8 months ago
2005
IEEE
— This paper unifies two independently developed formalisms for path-vector routing protocols such as the Border Gateway Protocol (BGP), the standard inter-domain routing protoc...