5672 search results - page 339 / 1135 » Design techniques for low-power systems |
151
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
This paper presents a class of algorithms suitable for model reduction of distributed systems. Distributed systems are not suitable for treatment by standard model-reduction algor...
191
click to vote
IWCMC
2006
ACM
16 years 24 days ago
2006
ACM
Orthogonal frequency division multiplexing (OFDM) is very sensitive to frequency offsets which result in considerable interference. Performance of the system will be exacerbated ...
198
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
182
click to vote
FTCS
1998
15 years 8 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
173
Voted
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. Current techniques f...