955 search results - page 106 / 191 » Model Checking Operator Procedures |
116
Voted
MJ
2007
15 years 8 days 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...
74
Voted
AUTOMATICA
2006
15 years 25 days 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...
95
Voted
IPCAI
2010
14 years 11 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...
103
Voted
ISOLA
2004
Springer
15 years 6 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...
113
click to vote
CAV
2008
Springer
15 years 2 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...