294 search results - page 51 / 59 » Formal Verification of the Implementability of Timing Requir... |
117
click to vote
SIGCSE
2008
ACM
15 years 8 days ago
2008
ACM
Coercing new programmers to adopt disciplined development practices such as thorough unit testing is a challenging endeavor. Test-driven development (TDD) has been proposed as a s...
152
Voted
ANCS
2010
ACM
14 years 9 months ago
2010
ACM
As we move forward towards the next generation of wireless protocols, the push for a better radio physical layer is ever increasing. Conventional radio architectures are limited t...
207
click to vote
POPL
2003
ACM
16 years 20 days ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
105
click to vote
ENTCS
2008
15 years 13 days ago
2008
Emerging architectures such as partially reconfigurable FPGAs provide a huge potential for adaptivity in the area of embedded systems. Since many system functions are only execute...
150
Voted
SEW
2006
IEEE
15 years 6 months ago
2006
IEEE
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...