4299 search results - page 477 / 860 » Concurrent Test Generation |
140
Voted
ICSE
2001
IEEE-ACM
15 years 9 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
184
click to vote
DATE
1999
IEEE
15 years 9 months ago
1999
IEEE
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...
135
click to vote
CA
1997
IEEE
15 years 9 months ago
1997
IEEE
Face-to-face interaction between people is generally effortless and effective. We exchange glances, take turns speaking and make facial and manual gestures to achieve the goals of ...
152
click to vote
ICS
1994
Tsinghua U.
15 years 9 months ago
1994
Tsinghua U.
We present a parallel code generation algorithm for complete applications and a new experimental methodology that tests the efficacy of our approach. The algorithm optimizes for d...
141
click to vote
DAC
2007
ACM
15 years 9 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...