Sciweavers

2191 search results - page 311 / 439
» Evolutionary testing of classes
Sort
View
99
Voted
ECBS
1997
IEEE
103views Hardware» more  ECBS 1997»
15 years 7 months ago
The Advanced Battlefield Architecture for Tactical Information Selection (ABATIS)
Modern warfare requires the understanding and management of increasingly complex assemblages of resources. The Advanced Battlefield Architecture for TacticalInformation Selection ...
J. S. Keane, Jerzy W. Rozenblit, Michael Barnes
ICCAD
1997
IEEE
125views Hardware» more  ICCAD 1997»
15 years 7 months ago
A deductive technique for diagnosis of bridging faults
A deductive technique is presented that uses voltage testing for the diagnosis of single bridging faults between two gate input or output lines and is applicable to combinational ...
Srikanth Venkataraman, W. Kent Fuchs
173
Voted
CISM
1993
149views GIS» more  CISM 1993»
15 years 7 months ago
The Weak Instance Model
The weak instance model is a framework to consider the relations in a database as a whole, regardless of the way attributes are grouped in the individual relations. Queries and upd...
Paolo Atzeni, Riccardo Torlone
173
Voted
CONCUR
1994
Springer
15 years 7 months ago
Composition and Behaviors of Probabilistic I/O Automata
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark
166
Voted
TOOLS
1992
IEEE
15 years 7 months ago
Automating the Development of Syntax Tree Generators for an Evolving Language
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...
Per Grape, Kim Walden