Sciweavers

8689 search results - page 283 / 1738
» Software: hard data
Sort
View
170
Voted
MSE
2002
IEEE
106views Hardware» more  MSE 2002»
15 years 11 months ago
A Realtime Software Solution for Resynchronizing Filtered MPEG2 Transport Stream
With the increasing demand and popularity of multimedia streaming applications over the current Internet, manipulating MPEG streams in a real-time software manner is gaining more ...
Bin Yu, Klara Nahrstedt
CODES
1996
IEEE
15 years 10 months ago
Fully Parallel Hardware/Software Codesign for Multi-Dimensional DSP Applications
The design of multi-dimensional systems using hardware/software codesign allows a significant improvement in the development cycle. This paper presents a technique that enables a ...
Michael Sheliga, Nelson L. Passos, Edwin Hsing-Mea...
HVC
2007
Springer
106views Hardware» more  HVC 2007»
15 years 10 months ago
Exploiting Shared Structure in Software Verification Conditions
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
Domagoj Babic, Alan J. Hu
IJCAI
2007
15 years 8 months ago
A Machine Learning Approach for Statistical Software Testing
Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible p...
Nicolas Baskiotis, Michèle Sebag, Marie-Cla...
ECIS
2001
15 years 8 months ago
Overcoming Online Booking Barriers with a Software Agent Approach
Through online self-booking travel sites on the Web, consumers are offered great opportunities for convenient and inexpensive travel bookings. Nevertheless, they face certain prob...
Bill Anckar, Svante Olofsson, Pirkko Walden