Sciweavers

11097 search results - page 338 / 2220
» Hera presentation generator
Sort
View
ICCAD
1996
IEEE
121views Hardware» more  ICCAD 1996»
15 years 11 months ago
Identification of unsettable flip-flops for partial scan and faster ATPG
State justification is a time-consuming operation in test generation for sequential circuits. In this paper, we present a technique to rapidly identify state elements (flip-flops)...
Ismed Hartanto, Vamsi Boppana, W. Kent Fuchs
148
Voted
ICWSM
2009
15 years 4 months ago
Sidelines: An Algorithm for Increasing Diversity in News and Opinion Aggregators
Aggregators rely on votes, and links to select and present subsets of the large quantity of news and opinion items generated each day. Opinion and topic diversity in the output se...
Sean A. Munson, Daniel Xiaodan Zhou, Paul Resnick
IPPS
1998
IEEE
15 years 11 months ago
Implementing Parallelism in Random Discrete Event-Driven Simulation
Abstract. The inherently sequential nature of random discrete eventdriven simulation has made parallel and distributed processing di cult. This paper presents a method of applying ...
Marc Bumble, Lee D. Coraor
GI
2009
Springer
15 years 4 months ago
Automated GUI Testing Validation guided by Annotated Use Cases
Abstract: This paper presents a new approach to Automatic GUI Test Case Generation and Validation: a use case-guided technique to reduce the effort required in GUI modeling and tes...
Pedro Luis Mateo Navarro, Diego Sevilla Ruiz, Greg...
ICST
2009
IEEE
15 years 4 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...