955 search results - page 106 / 191 » Model Checking Operator Procedures |
MJ
2007
13 years 9 months ago
2007
With increasingly smaller feature sizes and higher on-chip densities, the power dissipation of VLSI systems has become a primary concern for designers. This paper first describes...
AUTOMATICA
2006
13 years 10 months ago
2006
Industrial implementation of model-based control methods, such as model predictive control, is often complicated by the lack of knowledge about the disturbances entering the syste...
IPCAI
2010
13 years 8 months ago
2010
Colonoscopy is a minimally invasive endoscopic procedure to survey, diagnose and treat possible disease in the colon. Clinicians are trained to manipulate a colonoscope while minim...
ISOLA
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
CAV
2008
Springer
13 years 12 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...