10159 search results - page 1684 / 2032 » System Design Validation Using Formal Models |
180
Voted
MICRO
2003
IEEE
16 years 1 days ago
2003
IEEE
With increasing clock frequencies and silicon integration, power aware computing has become a critical concern in the design of embedded processors and systems-on-chip. One of the...
185
Voted
CSCW
2004
ACM
16 years 6 days ago
2004
ACM
Academic conferences provide a social space for people to present their work, learn about others’ work, and interact informally with one another. However, opportunities for inte...
195
click to vote
ASAP
2008
IEEE
16 years 1 months ago
2008
IEEE
Process technology has reduced in size such that it is possible to implement complete applicationspecific architectures as Systems-on-Chip (SoCs) using both Application-Specific I...
158
click to vote
ISPD
2006
ACM
16 years 22 days ago
2006
ACM
The existing decoupling capacitance optimization approaches meet constraints on input impedance for package. In this paper, we show that using impedance as constraints leads to la...
207
click to vote
PERVASIVE
2006
Springer
15 years 6 months ago
2006
Springer
Although numerous context-aware applications have been developed and there have been technological advances for acquiring contextual information, it is still difficult to develop a...