12981 search results - page 555 / 2597 » Model Checking (Abstract) |
166
click to vote
CAINE
2007
15 years 8 months ago
2007
Realism has always been a goal in computer graphics. However, the algorithms involved in mimicking ical world are often complex, abstract, and sensitive to changes in experimental...
192
click to vote
DAC
2007
ACM
15 years 11 months ago
2007
ACM
SoC based system developments commonly employ ESL design ogies and utilize multiple levels of abstract models to provide feasibility study models for architects and development pl...
178
click to vote
ENTCS
2008
15 years 7 months ago
2008
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...
148
click to vote
MEMOCODE
2005
IEEE
16 years 16 days ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...
201
click to vote
ILP
2007
Springer
16 years 1 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...