3130 search results - page 44 / 626 » Design Correctness of Digital Systems |
MM
2005
ACM
14 years 1 months ago
2005
ACM
In this demonstration, we show a novel system, Video Booklet, which enables nature personal video browsing and searching. Firstly representative thumbnails of video segments are s...
SPAA
2003
ACM
14 years 27 days ago
2003
ACM
Quantum computation has become an intriguing technology with which to attack difficult problems and to enhance system security. Quantum algorithms, however, have been analyzed un...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
The recent release of UML 2.0 has corrected a lot of design diffi
MIR
2005
ACM
14 years 1 months ago
2005
ACM
In this paper, we propose a novel system, named Video Booklet, which enables efficient and natural personal video browsing and searching. In the system, firstly representative th...
EMSOFT
2007
Springer
14 years 1 months ago
2007
Springer
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, concurrent processes running on a distributed ex...