Sciweavers

1991 search results - page 106 / 399
» Using a Coding Standard to Improve Program Quality
Sort
View
ICMCS
2005
IEEE
97views Multimedia» more  ICMCS 2005»
15 years 3 months ago
Wireless Broadcasting Using the Scalable Extension of H.264/AVC
For the ongoing standardization activities for IP-based broadcast video and audio streaming services over DVBH, DMB or 3GPP’s MBMS the use of new forward error protection techni...
Thomas Schierl, Heiko Schwarz, Detlev Marpe, Thoma...
IFIP
2001
Springer
15 years 2 months ago
Functional Test Generation using Constraint Logic Programming
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
Zhihong Zeng, Maciej J. Ciesielski, Bruno Rouzeyre
JCO
1998
80views more  JCO 1998»
14 years 9 months ago
Improved Bounds on Relaxations of a Parallel Machine Scheduling Problem
We consider the problem of scheduling n jobs with release dates on m identical parallel machines to minimize the average completion time of the jobs. We prove that the ratio of the...
Cynthia A. Phillips, Andreas S. Schulz, David B. S...
CARDIS
2006
Springer
114views Hardware» more  CARDIS 2006»
15 years 1 months ago
A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods
Ahead-of-Time and Just-in-Time compilation are common ways to improve runtime performances of restrained systems like Java Card by turning critical Java methods into native code. H...
Alexandre Courbot, Mariela Pavlova, Gilles Grimaud...
CEC
2007
IEEE
15 years 1 months ago
Virtual reality high dimensional objective spaces for multi-objective optimization: An improved representation
This paper presents an approach for constructing improved visual representations of high dimensional objective spaces using virtual reality. These spaces arise from the solution of...
Julio J. Valdés, Alan J. Barton, Robert Orc...