2838 search results - page 291 / 568 » Verifying Controlled Components |
124
Voted
WSC
2007
15 years 5 months ago
2007
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...
104
click to vote
WSC
2007
15 years 5 months ago
2007
Workflow analysis is an important component in the simulation of construction operations. It involves creating a specific number of work requests for a crew every time period, com...
162
Voted
CVPR
2008
IEEE
15 years 4 months ago
2008
IEEE
Most digital still color cameras use a single electronic sensor (CCD or CMOS) overlaid with a color filter array. At each pixel location only one color sample is taken, and the ot...
116
Voted
ECSA
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
119
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...