Sciweavers

1045 search results - page 78 / 209
» The Use of Exceptions
Sort
View
KBSE
1998
IEEE
14 years 16 days ago
An Automated Framework for Structural Test-Data Generation
Structural testing criteria are mandated in many software development standards and guidelines. The process of generating test-data to achieve 100 coverage of a given structural c...
Nigel Tracey, John A. Clark, Keith Mander, John A....
CSFW
1997
IEEE
14 years 15 days ago
Eliminating Covert Flows with Minimum Typings
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...
Dennis M. Volpano, Geoffrey Smith
SIGCOMM
1996
ACM
14 years 13 days ago
End-to-end Routing Behavior in the Internet
The large-scale behavior of routing in the Internet has gone virtually without any formal study, the exceptions being Chinoy's analysis of the dynamics of Internet routing in...
Vern Paxson
LION
2010
Springer
230views Optimization» more  LION 2010»
14 years 8 days ago
A Study of the Parallelization of the Multi-Objective Metaheuristic MOEA/D
MOEA/D is a multi-objective metaheuristic which has shown a remarkable performance when solving hard optimization problems. In this paper, we propose a thread-based parallel versio...
Antonio J. Nebro, Juan J. Durillo
ACSC
2004
IEEE
14 years 1 days ago
Strength Reduction for Loop-Invariant Types
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
Phung Hua Nguyen, Jingling Xue