4196 search results - page 579 / 840 » Supporting the development of network programs |
137
click to vote
ASE
2010
15 years 4 months ago
2010
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. Howev...
116
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
118
click to vote
ACMSE
2010
ACM
15 years 2 months ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...
156
click to vote
CISS
2011
IEEE
14 years 8 months ago
2011
IEEE
—In this work we address the problem of state estimation in dynamical systems using recent developments in compressive sensing and sparse approximation. We formulate the traditio...
136
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The emergence of various technologies has since pushed researchers to develop new protocols that support high density data transmissions in Wide Area Networks. Many of these proto...