Sciweavers

2681 search results - page 405 / 537
» Topics in asynchronous systems
Sort
View
MEMOCODE
2007
IEEE
15 years 11 months ago
Towards Equivalence Checking Between TLM and RTL Models
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli...
CIVR
2007
Springer
136views Image Analysis» more  CIVR 2007»
15 years 11 months ago
Merging storyboard strategies and automatic retrieval for improving interactive video search
The Carnegie Mellon University Informedia group has enjoyed consistent success with TRECVID interactive search using traditional storyboard interfaces for shot-based retrieval. Fo...
Michael G. Christel, Rong Yan
CRYPTO
2007
Springer
106views Cryptology» more  CRYPTO 2007»
15 years 11 months ago
Information Security Economics - and Beyond
The economics of information security has recently become a thriving and fast-moving discipline. As distributed systems are assembled from machines belonging to principals with div...
Ross Anderson, Tyler Moore
SAMOS
2007
Springer
15 years 10 months ago
An Interrupt Controller for FPGA-based Multiprocessors
— Interrupt-based programming is widely used for interfacing a processor with peripherals and allowing software threads to interact. Many hardware/software architectures have bee...
Antonino Tumeo, Marco Branca, Lorenzo Camerini, Ma...
CODES
2006
IEEE
15 years 10 months ago
Key technologies for the next generation wireless communications
The principal objectives of next generation wireless communication are the delivery of higher data rate services including video, audio, data and voice signals with worldwide comp...
Kyung-Ho Kim