1727 search results - page 38 / 346 » A Technique for Large Automated Mechanism Design Problems |
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications [18]. To specify more powerful system...
CHI
2008
ACM
16 years 7 days ago
2008
ACM
User studies are important for many aspects of the design process and involve techniques ranging from informal surveys to rigorous laboratory studies. However, the costs involved ...
ICLP
1999
Springer
15 years 4 months ago
1999
Springer
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
131
click to vote
TCAD
2010
14 years 6 months ago
2010
Design debugging is a major bottleneck in modern VLSI design flows as both the design size and the length of the error trace contribute to its inherent complexity. With typical des...