2878 search results - page 396 / 576 » Analyzing the Uses of a Software Modeling Tool |
302
click to vote
TCAD
2011
15 years 1 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...
165
click to vote
VSTTE
2005
Springer
16 years 19 hour ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
158
click to vote
ICESS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
147
click to vote
ANSS
1998
IEEE
15 years 10 months ago
1998
IEEE
In solving application problems, the data sets used to train a neural network may not be hundred percent precise but within certain ranges. Representing data sets with intervals, ...
153
click to vote
WSC
2008
15 years 8 months ago
2008
Necessity to mind a huge amount of factors while developing modern enterprises models dictates new requirements for modeling software, which needs to process all data to achieve p...