Sciweavers

931 search results - page 120 / 187
» Compiling for vector-thread architectures
Sort
View
IH
2005
Springer
15 years 10 months ago
Self-validating Branch-Based Software Watermarking
Software protection is an area of active research in which a variety of techniques have been developed to address the issue. Examples of such techniques are software watermarking, ...
Ginger Myles, Hongxia Jin
PRIMA
2004
Springer
15 years 10 months ago
Introducing Participative Personal Assistant Teams in Negotiation Support Systems
This paper introduces teams of personal agents that support users individually in electronic negotiations. These agents listen to the running negotiation and to each other to point...
Eric Platon, Shinichi Honiden
ISCAS
2003
IEEE
91views Hardware» more  ISCAS 2003»
15 years 10 months ago
Real-time implementation of H.263+ using TI TMS320c6201 digital signal processor
In this paper, we use a digital signal processor (DSP) to implement a real-time H.263+ codec. We use fast algorithms to reduce the codec computational complexity. Furthermore, the...
Timothy K. Shih, Chia-Yang Tsai, Hsueh-Ming Hang
IWSOC
2003
IEEE
99views Hardware» more  IWSOC 2003»
15 years 10 months ago
Template Generation and Selection Algorithms
The availability of high-level design entry tooling is crucial for the viability of any reconfigurable SoC architecture. This paper presents a template generation method to extra...
Yuanqing Guo, Gerard J. M. Smit, Hajo Broersma, Pa...
126
Voted
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 9 months ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge