3273 search results - page 316 / 655 » Structured Design of Microelectromechanical Systems |
165
click to vote
ISORC
1999
IEEE
15 years 9 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
153
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
Architecture frameworks are methods used in architecture modeling. They provide a structured and systematic approach to designing systems. To date there has been little analysis o...
132
click to vote
ISLPED
2007
ACM
15 years 6 months ago
2007
ACM
To address the productivity bottlenecks in power analysis and optimization of modern systems, we propose to treat power as a signal and leverage the rich set of signal processing ...
145
Voted
PPOPP
1997
ACM
15 years 9 months ago
1997
ACM
Global addressing of shared data simplifies parallel programming and complements message passing models commonly found in distributed memory machines. A number of programming sys...
162
click to vote
DGO
2007
15 years 6 months ago
2007
Government agencies globally are facing problems such as illegal immigration, terrorism, and disease diagnosis and control. Solutions to these problems rely heavily on collaborati...