2794 search results - page 221 / 559 » A New Architecture for Automated Modelling |
160
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
The DPLL procedure is the basis of some of the most successful propositional satisfiability solvers to date. Although originally devised as a proofprocedure for first-order logic, ...
192
click to vote
AAAI
1998
15 years 8 months ago
1998
The Web is based on a browsing paradigm that makes it di cult to retrieve and integrate data from multiple sites. Today, the only way to do this is to build specialized applicatio...
209
click to vote
MTV
2006
IEEE
16 years 25 days ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
174
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
As multiprocessor systems-on-chip become a reality, performance modeling becomes a challenge. To quickly evaluate many architectures, some type of high-level simulation is require...
208
click to vote
LCTRTS
2010
Springer
15 years 4 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...