19587 search results - page 3487 / 3918 » Systems Engineering for software Engineers |
169
click to vote
KES
2010
Springer
15 years 1 months ago
2010
Springer
E-learning continues to be used as an educational tool all over the world. However, the typical e-learning systems are sometimes not enough for students to feel a close connection ...
196
click to vote
DAC
2009
ACM
16 years 8 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
184
click to vote
DAC
2008
ACM
16 years 8 months ago
2008
ACM
A fundamental problem in timing-driven physical synthesis is the reduction of critical paths in a design. In this work, we propose a powerful new technique that moves (and can als...
154
click to vote
DAC
2008
ACM
16 years 8 months ago
2008
ACM
The relative decline of single-threaded processor performance, coupled with the ongoing shift towards on chip parallelism requires that CAD applications run efficiently on paralle...
171
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Currently, hardware intellectual property (IP) is delivered at vels of abstraction: hard, firm, and soft. In order to further enhance performance, efficiency, and flexibility of I...