Sciweavers

1886 search results - page 121 / 378
» Verifying and Validating Simulation Models
Sort
View
DATE
2009
IEEE
167views Hardware» more  DATE 2009»
15 years 4 months ago
Analyzing the impact of process variations on parametric measurements: Novel models and applications
Abstract—In this paper we propose a novel statistical framework to model the impact of process variations on semiconductor circuits through the use of process sensitive test stru...
Sherief Reda, Sani R. Nassif
RSS
2007
119views Robotics» more  RSS 2007»
14 years 11 months ago
Fishbone Model for Belt Object Deformation
— A modeling method for representing belt object deformation is proposed. Deformation of belt objects such as film circuit boards or flexible circuit boards must be estimated f...
Hidefumi Wakamatsu, Eiji Arai, Shinichi Hirai
FIW
2009
163views Communications» more  FIW 2009»
14 years 7 months ago
Detecting policy conflicts by model checking UML state machines
Policies are convenient means to modify system behaviour at run-time. Nowadays, policies are created in great numbers by different actors, ranging from system administrators to lay...
Maurice H. ter Beek, Stefania Gnesi, Carlo Montang...
WSC
1997
14 years 11 months ago
Conduct, Misconduct, and Cargo Cult Science
I will elaborate some principles of ethical conduct in science that correspond to Richard Feynman’s wellknown precepts of “utter honesty” and “leaning over backwards” in...
James R. Wilson
ENTCS
2006
133views more  ENTCS 2006»
14 years 10 months ago
Linking Semantic Models to Support CSP || B Consistency Checking
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
Neil Evans, Helen Treharne