4360 search results - page 599 / 872 » Socio-technical systems: From design methods to systems engi... |
165
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
371
click to vote
ISSS
2000
IEEE
15 years 11 months ago
2000
IEEE
In high-throughput real-time media processing systems, the communication between processing units is typically specified as multi-dimensional arrays. However, the implementation ...
190
click to vote
IPSN
2007
Springer
16 years 26 days ago
2007
Springer
Surveillance is one of the promising applications to which smart camera motes forming a vision-enabled network can add increasing levels of intelligence. We see a high degree of i...
180
click to vote
SENSYS
2005
ACM
16 years 8 days ago
2005
ACM
MAX is a system that facilitates human-centric search of the physical world. It allows humans to search for and locate objects as and when they need it instead of organizing them ...
136
click to vote
UIST
2004
ACM
16 years 4 days ago
2004
ACM
We present content-aware free-space transparency, an approach to viewing and manipulating the otherwise hidden content of obscured windows through unimportant regions of overlappi...