Sciweavers

2784 search results - page 492 / 557
» Instruction Level Parallelism
Sort
View
ISCAS
1999
IEEE
128views Hardware» more  ISCAS 1999»
15 years 5 months ago
Dynamic scheduling of multiple video objects for MPEG-4 encoding with user interactions
MPEG-4 video consists of various video objects, rather than frames, allowing a true interactivity and manipulation of separate arbitrary shape object. Soware-based encoding of MPE...
Yong He, Ishfaq Ahmad, Ming L. Liou
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 5 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
105
Voted
ASPLOS
1998
ACM
15 years 5 months ago
Accelerating Multi-Media Processing by Implementing Memoing in Multiplication and Division Units
This paper proposes a technique that enables performing multi-cycle (multiplication, division, square-root ...) computations in a single cycle. The technique is based on the notio...
Daniel Citron, Dror G. Feitelson, Larry Rudolph
130
Voted
ERCIMDL
1997
Springer
169views Education» more  ERCIMDL 1997»
15 years 4 months ago
Relevance Feedback and Query Expansion for Searching the Web: A Model for Searching a Digital Library
: A fully operational large scale digital library is likely to be based on a distributed architecture and because of this it is likely that a number of independent search engines m...
Alan F. Smeaton, Francis Crimmins
ICDE
2010
IEEE
290views Database» more  ICDE 2010»
15 years 4 months ago
The Model-Summary Problem and a Solution for Trees
Modern science is collecting massive amounts of data from sensors, instruments, and through computer simulation. It is widely believed that analysis of this data will hold the key ...
Biswanath Panda, Mirek Riedewald, Daniel Fink