3273 search results - page 233 / 655 » Structured Design of Microelectromechanical Systems |
140
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
or Abstraction for the Functional Verification of FPGAs Guy Dupenloup, Thierry Lemeunier, Roland Mayr Altera Corporation 101 Innovation Drive San Jose, CA 95134 1-408-544-8672 {gdu...
158
click to vote
RE
2010
Springer
14 years 11 months ago
2010
Springer
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
137
click to vote
GRC
2007
IEEE
15 years 8 months ago
2007
IEEE
Granular computing is not only a computing model for computer-centered problem solving, but also a thinking model for human-centered problem solving. Some authors have presented t...
146
click to vote
SEW
2007
IEEE
15 years 10 months ago
2007
IEEE
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...
153
click to vote
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
Voice over IP (VoIP) systems are gaining in popularity as the technology for transmitting voice traffic over IP networks. As the popularity of VoIP systems increases, they are bei...