3256 search results - page 292 / 652 » Applications of Formal Methods to System Design and Verifica... |
182
click to vote
ECOOP
2012
Springer
13 years 9 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
180
click to vote
FDL
2011
IEEE
14 years 6 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
198
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Recent results have suggested that online Model Predictive Control (MPC) can be computed quickly enough to control fast sampled systems. High-speed applications impose a hard real-...
232
click to vote
ESEM
2010
ACM
15 years 6 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...
183
click to vote
FOCM
2002
15 years 6 months ago
2002
This paper is concerned with the design and analysis of adaptive wavelet methods for systems of operator equations. Its main accomplishment is to extend the range of applicability...