Forecaster perceptions of major convective outbreaks include the notion that these events occur within relatively large regions of meteorological conditions favorable for the development of significant severe weather, particularly tornadoes. With recent studies developing a rigorous and scientifically repeatable method of identifying these events and distinguishing them from intermediate or mar...

We analyze the trade-off between monopoly and competition in matching markets. Intermediaries use prices to sort agents on one side of the market, while, on the other side, they rely solely on an imperfect screening technology. The socially efficient outcome is characterized by an optimal quality provision and an efficient market coverage: matched agents are matched assortatively and all agents...

The World Wide Web has become the largest information source in recent years, and search engines are indispensable tools for finding needed information from the Web. While modern search engine technology has its roots in text/information retrieval techniques, it also consists of solutions to unique problems arising from the Web such as web page crawling and utilizing linkage information to impr...

Managed care organizations (MCOs), as insurance entities, should be liable under contract for inappropriate denial of coverage, whereas treatment errors should be conventional malpractice claims against physicians. Most MCOs are loose networks of independent practices that lack the requisite information or technology to improve care. Holding such MCOs vicariously liable for their physicians’ ne...

The advent of the new VLSI technology and SoC design methodologies has brought about an explosive growth to the complexity of modern electronic circuits. One big problem in the hardware design verification is to find good stimuli to make functional verification. A MPEG-4 decoder design require movies in order to make the functional verification. A real movie applied alone is not enough to test ...

This paper presents a pulse response-based builtin self test technique and implementation for the testing of analog integrated circuits in mixed-signal systems. This BIST technique employs two narrow width pulses as input stimuli, and monitors two voltage samples on pulse response waveform for fault detection through allowable tolerances. The BIST system implementation realizes a programmable d...

We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features, COSDG captures important object-oriented features such as class, inheritance, and polymorphism. Novel features of COSDG include details of method visibility in a derived class, and different types of method call edges to dis...

Software Model Checkers have shown outstanding performance improvements in recent times. Moreover, for specific use cases, formal verification techniques have shown to be highly effective, leading to a number of high-profile success stories. However, widespread adoption remains unlikely in the short term and one of the remaining obstacles in that direction is the vast number of instances which ...

Prioritization of test cases is generally done to reduce the cost of regression testing. We prioritize our test cases so that those which are more important, by some measure, are made to run earlier in the testing phase. There exists a large variety of prioritization techniques in the literature, we have basically used coverage-based prioritization techniques (i.e., prioritization in terms of t...

Testers use coverage data for test suite quality assessment, stopping criteria definition, and effort allocation. However, as the complexity of products and testing processes increases, the cost of coverage data collection may grow significantly, jeopardizing its potential application. To mitigate this problem this paper presents the concept of “disposable coverage instrumentation” – coverage i...