640 search results - page 90 / 128 » Knowledge-Based Automation of a Design Method for Concurrent... |
121
click to vote
ENTCS
2007
15 years 2 months ago
2007
Automated deduction methods should be specified not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, di...
DAC
1999
ACM
16 years 3 months ago
1999
ACM
In this paper we present a new algorithm for computing reduced-order models of interconnect which utilizes the dominant controllable subspace of the system. The dominant controlla...
102
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— Since Witsenhausen put forward his remarkable counterexample in 1968, there have been many attempts to develop efficient methods for solving this non-convex functional optimiz...
143
click to vote
NGITS
1999
Springer
15 years 7 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
138
click to vote
CHI
2004
ACM
16 years 3 months ago
2004
ACM
This paper describes the concepts of TEA, a flexible tool that supports user tests by automating repetitive tasks and collecting data of user inputs and actions. TEA was specifica...