Sciweavers

4349 search results - page 647 / 870
» A Comprehensive Process Model for Studying Software Process ...
Sort
View
159
Voted
TCAD
2010
121views more  TCAD 2010»
14 years 10 months ago
Translation Validation of High-Level Synthesis
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
144
Voted
TCOM
2010
98views more  TCOM 2010»
14 years 10 months ago
Convolutionally Coded Transmission over Markov-Gaussian Channels: Analysis and Decoding Metrics
It has been widely acknowledged that the aggregate interference at the receiver for various practical communication channels can often deviate markedly from the classical additive ...
Jeebak Mitra, Lutz H.-J. Lampe
143
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Stretching, compression and shearing disparity compensated prediction techniques for stereo and multiview video coding
- In multiview video coding, disparity compensated prediction exploits the correlation among different views. A common approach is to use the conventional motion compensated predic...
Ka-Man Wong, Lai-Man Po, Kwok-Wai Cheung, Ka-Ho Ng...
130
Voted
IMSCCS
2006
IEEE
15 years 9 months ago
An Execution Prototype of Mobile Agent-Based Peer-to-Peer Systems
Peer-to-peer networks are one of the trends in the field of internetworking. Mobile agent-based technology is a newly proposed technology that can be used in peer-to-peer network...
Wenyu Qu, Masaru Kitsuregawa, Keqiu Li, Hong Shen
119
Voted
MEMOCODE
2006
IEEE
15 years 9 months ago
Specifying and proving properties of timed I/O automata in the TIOA toolkit
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan M...