5608 search results - page 968 / 1122 » Structure description tools |
114
click to vote
ICTAI
2003
IEEE
15 years 8 months ago
2003
IEEE
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
128
click to vote
INFOVIS
2003
IEEE
15 years 8 months ago
2003
IEEE
Satisfaction surveys are an important measurement tool in fields such as market research or human resources management. Serious studies consist of numerous questions and contain a...
117
click to vote
ISCAS
2003
IEEE
15 years 8 months ago
2003
IEEE
– The traditional way of approaching placement problems in computer-aided design (CAD) tools for analog layout is to explore an extremely large search space of feasible or unfeas...
146
click to vote
ISMAR
2003
IEEE
15 years 8 months ago
2003
IEEE
In the past, architectures of Augmented Reality systems have been widely different and taylored to specific tasks. In this paper, we use the example of the SHEEP game to show how...
115
click to vote
ISQED
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...