7139 search results - page 833 / 1428 » Language Engineering in Practice |
174
click to vote
ASPDAC
2004
ACM
16 years 21 days ago
2004
ACM
Many important tasks in circuit design and verification can be performed in practice via reductions to Boolean Satisfiability (SAT), making SAT a fundamental EDA problem. However ...
192
click to vote
ECLIPSE
2004
ACM
16 years 21 days ago
2004
ACM
Developing and consistently evolving quality software designs requires both theoretical knowledge and practical skills. The former can be communicated in a classroom; the latter h...
199
click to vote
SIGMETRICS
2004
ACM
16 years 21 days ago
2004
ACM
A large variety of communication systems, including telephone and data networks, can be represented by so-called Whittle networks. The stationary distribution of these networks is...
191
click to vote
AI
2004
Springer
16 years 20 days ago
2004
Springer
Building conversation protocols has traditionally been an art more than a science, as their construction is often guided by designers’ intuition rather than by a principled appro...
194
click to vote
EMSOFT
2004
Springer
16 years 20 days ago
2004
Springer
Cache prediction for preemptive scheduling is an open issue despite its practical importance. First analysis approaches use simplified models for cache behavior or they assume si...