3686 search results - page 479 / 738 » An Approach to a Trustworthy System Architecture Using Virtu... |
220
click to vote
JAR
2006
15 years 7 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
174
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Recently, the diversified types of companies have been trying to cooperate among them to cope with the dynamic market and thus integration of their DBs with heterogeneous requirem...
224
click to vote
SI3D
2009
ACM
16 years 2 months ago
2009
ACM
We present a comprehensive system for multiscale navigation of 3-dimensional scenes, and demonstrate our approach on multiscale datasets such as the Earth. Our system incorporates...
213
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
The increasing levels of system integration in Multi-Processor System-on-Chips (MPSoCs) emphasize the need for new design flows for efficient mapping of multi-task applications o...
187
click to vote
JMLR
2002
15 years 7 months ago
2002
Lyapunov design methods are used widely in control engineering to design controllers that achieve qualitative objectives, such as stabilizing a system or maintaining a system'...