1951 search results - page 191 / 391 » Decoupling Change from Design |
137
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
Software developers are rooted in the written form of their code, yet they often draw diagrams representing their code. Unfortunately, we still know little about how and why they ...
112
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
The electrostatic discharge (ESD) problem has become a challenging reliability issue in nanometer circuit design. High voltages resulted from ESD might cause high current densitie...
147
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
The ready availability of online source code examples has changed the cost structure of programming by example modification. However, current search tools are wholly separate from...
101
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
129
Voted
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Due to fundamental physical limitations and power constraints, we are witnessing a radical change in commodity microprocessor architectures to multicore designs. Continued perform...