4520 search results - page 221 / 904 » Algebraic Techniques for Timed Systems |
204
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Pipelining is a well understood and often used implementation technique for increasing the performance of a hardware system. We develop several SystemC/C++ modeling techniques tha...
204
click to vote
MMMACNS
2005
Springer
16 years 21 days ago
2005
Springer
This paper describes a novel approach for preventative protection from both known and previously unknown malicious software. It does not rely on screening the code for signatures ...
167
click to vote
ITC
2002
IEEE
16 years 3 days ago
2002
IEEE
The continued market demand for GHz processors and high-capacity communication systems results in an increasing number of low-cost high volume ICs with multi-GHz clocks and/or mul...
217
click to vote
TSMC
2010
15 years 1 months ago
2010
Abstract--This paper is concerned with the networked synchronization control problem of coupled dynamic networks (CDNs) with time-varying delay. First, both the data packet dropout...
204
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Various techniques have been developed for different query types in content-based image retrieval (CBIR) systems such as sampling queries, constrained sampling queries, multiple c...