9110 search results - page 346 / 1822 » Formally-Based Design Evaluation |
174
click to vote
ISCAS
2007
IEEE
16 years 28 days ago
2007
IEEE
— Increasing demands for robust image recognition systems require vision processors not only with enormous computational capacities but also with sufficient flexibility to hand...
185
click to vote
FDL
2006
IEEE
16 years 21 days ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
156
Voted
ICMCS
2006
IEEE
16 years 21 days ago
2006
IEEE
Advancements in sensor technologies have made it easier and increasingly common to capture information using multiple media. This is especially true for personal multimedia inform...
176
click to vote
DATE
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper describes the design of a smart sensor for label-free detection of DNA hybridization. The sensor is based on a direct electrical transduction principle: it measures imp...
144
click to vote
INFOCOM
2005
IEEE
16 years 7 days ago
2005
IEEE
Abstract— In a peer-to-peer network, nodes are typically required to route packets for each other. This leads to a problem of “free-loaders,” nodes that use the network but r...