2335 search results - page 323 / 467 » Type Checking Type Classes |
126
Voted
WCRE
2008
IEEE
15 years 7 months ago
2008
IEEE
Modern software has to evolve to meet the needs of stakeholders; but the nature and scope of this evolution is difficult to anticipate and manage. In this paper, we examine techn...
102
click to vote
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
74
Voted
ICCCN
2007
IEEE
15 years 7 months ago
2007
IEEE
—Worms are a significant threat to network systems, both through resource consumption and malicious activity. This paper examines the spread of a class of hitlist-based worms tha...
108
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
Parallelization of sequential programs is often daunting because of the substantial development cost involved. Various solutions have been proposed to address this concern, includ...
132
Voted
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— To autonomously navigate on rough terrain is a challenging problem for mobile robots, requiring the ability to decide whether parts of the environment can be traversed ...