15635 search results - page 447 / 3127 » Modelling and Design of VAML |
139
click to vote
ASPDAC
2006
ACM
16 years 23 days ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
171
click to vote
HICSS
2003
IEEE
16 years 2 days ago
2003
IEEE
Multidimensional data models are playing an increasingly prominent role in support of day-to-day business decisions. Due to their significance in taking strategic decisions it is ...
138
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a design method (HASoC) for the lifecycle modelling of embedded systems that are targeted primarily, but not necessarily, at SoC implementations. The object-oriented de...
188
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Parallel programming models should attempt to satisfy two conflicting goals. On one hand, they should hide architectural details so that algorithm designers can write simple, port...
181
click to vote
ISVC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Several existing procedural modeling systems are able to generate large 3D models of cities. However, none of these systems can automatically create 3D models of freeways...