3256 search results - page 552 / 652 » Applications of Formal Methods to System Design and Verifica... |
LCTRTS
2010
Springer
15 years 4 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
PERCOM
2007
ACM
15 years 9 months ago
2007
ACM
Activity monitoring, a crucial task in many applications, is often conducted expensively using video cameras. Also, effectively monitoring a large field by analyzing images from m...
GLVLSI
2008
IEEE
15 years 4 months ago
2008
IEEE
Phase-based tuning methodologies specialize system parameters for each application phase of execution. Parameters are varied during execution, as opposed to remaining fixed as in ...
PVM
2005
Springer
15 years 3 months ago
2005
Springer
Many large-scale production parallel programs often run for a very long time and require data checkpoint periodically to save the state of the computation for program restart and/o...
EWC
2010
14 years 8 months ago
2010
When dealing with computationally expensive simulation codes or process measurement data, surrogate modeling methods are firmly established as facilitators for design space explor...