3365 search results - page 546 / 673 » Digital System Design: Architectures, Methods and Tools |
360
click to vote
SPIN
2012
Springer
13 years 8 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
169
click to vote
HICSS
2006
IEEE
16 years 4 days ago
2006
IEEE
How do people work with large document collections? We studied the effects of different kinds of analysis tools on the behavior of people doing rapid large-volume data assessment,...
161
click to vote
IJPP
2006
15 years 6 months ago
2006
Abstract. In order to address the problems faced in the wireless communications domain, picoChip has devised the picoArrayTM . The picoArrayTM is a tiled-processor architecture, co...
148
Voted
AVSS
2006
IEEE
16 years 5 days ago
2006
IEEE
Most surveillance and monitoring systems nowadays utilize multiple types of sensors. However, due to the asynchrony among and diversity of sensors, information assimilation how to...
165
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
The differences between Augmented Reality (AR) systems and computer display based systems create a need for a different approach to the design and development of AR systems. To un...