1163 search results - page 192 / 233 » Case Studies of Model Checking for Embedded System Designs |
231
click to vote
TCAD
2011
14 years 8 months ago
2011
—Escalating system-on-chip design complexity is the design community to raise the level of abstraction beyond register transfer level. Despite the unsuccessful adoptions of early...
101
click to vote
COMPGEOM
1997
ACM
15 years 6 months ago
1997
ACM
Many algorithms developed in computational geometry are needlessly complicated and slow because they have to be prepared for very complicated, hypothetical inputs. To avoid this, ...
105
click to vote
VRML
2009
ACM
15 years 8 months ago
2009
ACM
This work discusses a model and an architecture for interactive stories to be displayed on the net, designed for being independent from the specific story represented and suitabl...
122
click to vote
ASE
2008
15 years 2 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
111
click to vote
MP
2002
15 years 1 months ago
2002
Abstract. Robust Optimization (RO) is a modeling methodology, combined with computational tools, to process optimization problems in which the data are uncertain and is only known ...