Sciweavers

759 search results - page 133 / 152
» Test case generator for GUITAR
Sort
View
PDPTA
2007
15 years 2 months ago
A Parallel Algorithm for Discrete Gabor Transforms
- Serial algorithms to evaluate the Gabor transform of a discrete signal are bound by the length of signal for which the transform can be evaluated. The time taken, if machine memo...
Kshitij Sudan, Nipun Saggar, Asok De
82
Voted
CASCON
2006
118views Education» more  CASCON 2006»
15 years 2 months ago
Ensuring behavioural equivalence in test-driven porting
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
Mark Hennessy, James F. Power
112
Voted
AIPS
2003
15 years 2 months ago
The Role of Planning in Grid Computing
Grid computing gives users access to widely distributed networks of computing resources to solve large-scale tasks such as scientific computation. These tasks are defined as stand...
Jim Blythe, Ewa Deelman, Yolanda Gil, Carl Kesselm...
106
Voted
ICMCS
2010
IEEE
267views Multimedia» more  ICMCS 2010»
15 years 1 months ago
Depth-level-adaptive view synthesis for 3D video
In the multiview video plus depth (MVD) representation for 3D video, a depth map sequence is coded for each view. In the decoding end, a view synthesis algorithm is used to genera...
Ying Chen, Weixing Wan, Miska M. Hannuksela, Jun Z...
HASE
2008
IEEE
15 years 26 days ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri