6800 search results - page 1128 / 1360 » Testing with Functions as Specifications |
ELPUB
2007
ACM
14 years 9 days ago
2007
ACM
This paper adds to the overall understanding of new media adoption in general and the promotion of the enewspaper in particular by empirically studying the preferences and demands...
GLOBECOM
2009
IEEE
14 years 7 days ago
2009
IEEE
In this paper we discuss the design of optimization algorithms for cognitive wireless networks (CWNs). Maximizing the perceived network performance towards applications by selectin...
AMDO
2006
Springer
14 years 3 days ago
2006
Springer
Abstract. Many applications in computer graphics require fast and robust collision detection algorithms. The problem of simulating motion in an articulated chain has been well stud...
DATE
2004
IEEE
14 years 3 days ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
CC
2006
Springer
14 years 3 days ago
2006
Springer
Interprocedural dataflow analysis has a large number of uses for software optimization, maintenance, testing, and verification. For software built with reusable components, the tra...