Sciweavers

5962 search results - page 398 / 1193
» Working with Patterns and Code
Sort
View
VCIP
2003
164views Communications» more  VCIP 2003»
15 years 7 months ago
Scalable video compression using longer motion compensated temporal filters
Three-dimensional (3-D) subband/wavelet coding using a motion compensated temporal filter (MCTF) is emerging as a very effective structure for highly scalable video coding. Most p...
Abhijeet V. Golwelkar, John W. Woods
COMPSAC
2009
IEEE
15 years 7 months ago
Modular Certification of Low-Level Intermediate Representation Programs
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
Yuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang
JUCS
2007
110views more  JUCS 2007»
15 years 6 months ago
Self-Evolving Petri Nets
: Nowadays, software evolution is a very hot topic. It is particularly complex when it regards critical and nonstopping systems. Usually, these situations are tackled by hard-codin...
Lorenzo Capra, Walter Cazzola
CONCURRENCY
1998
181views more  CONCURRENCY 1998»
15 years 6 months ago
Communication Performance of Java-Based Parallel Virtual Machines
Message passing libraries such as Parallel Virtual Machine PVM and Message Passing Interface MPI provide a common Application Programming Interface API to implement parallel...
Narendar Yalamanchilli, William W. Cohen
161
Voted
TIP
2002
92views more  TIP 2002»
15 years 6 months ago
Gradient match and side match fractal vector quantizers for images
In this paper we propose the gradient match fractal vector quantizers (GMFVQs) and the side match fractal vector quantizers (SMFVQs), which are two classes of finite state fractal...
Hsuan T. Chang