17449 search results - page 534 / 3490 » Availability |
181
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
The widespread adoption of embedded microprocessor-based systems for safety critical applications mandates the use of co-design tools able to evaluate system dependability at ever...
167
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
With the widespread availability of multimedia sensors, increased computational power, and bandwidth, a new paradigm is emerging – converting real world events into multimedia e...
175
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a formal approach based on the RTLOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS spec...
107
click to vote
ASPDAC
2000
ACM
15 years 11 months ago
2000
ACM
— An elevated central-channel doping with a depth similar to the S/D junctions is proposed as the best measure for simultaneously improving MOSFET device and high speed circuit p...
131
click to vote
ISPD
2000
ACM
15 years 11 months ago
2000
ACM
For a four-layer datapath routing environment, we present an algorithm that considers all the nets simultaneously. Routing probabilities are calculated for potential routing regio...