3979 search results - page 364 / 796 » Wild control operators |
184
click to vote
AADEBUG
2005
Springer
16 years 10 days ago
2005
Springer
Reprogrammable hardware systems are traditionally very difficult to debug due to their high level of parallelism. In our solution to this problem, features are inserted into the u...
182
click to vote
ECSQARU
2005
Springer
16 years 9 days ago
2005
Springer
In the presence of a river flood, operators in charge of control must take decisions based on imperfect and incomplete sources of information (e.g., data provided by a limited numb...
181
Voted
ICAT
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper presents a new type of wearable telepresence system that is applicable to the control of a humanoid robot. The system consists of self-contained computing hardware with...
169
click to vote
ISQED
2003
IEEE
16 years 1 days 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...
188
click to vote
DBKDA
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract—Design applications, e.g., CAD or media production, often require multiple users to work cooperatively on shared data, e.g., XML documents. Using explicit transactions i...