Sciweavers

2662 search results - page 188 / 533
» Tools Demonstrations
Sort
View
SEW
2003
IEEE
15 years 10 months ago
Model-Based Software Testing via Incremental Treatment Learning
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
Dustin Geletko, Tim Menzies
IUI
2003
ACM
15 years 10 months ago
MORE for less: model recovery from visual interfaces for multi-device application design
An emerging approach to multi-device application development developers to build an abstract semantic model that is translated into specific implementations for web browsers, PDAs...
Yves Gaeremynck, Lawrence D. Bergman, Tessa A. Lau
EGH
2003
Springer
15 years 10 months ago
The FFT on a GPU
The Fourier transform is a well known and widely used tool in many scientific and engineering fields. The Fourier transform is essential for many image processing techniques, in...
Kenneth Moreland, Edward Angel
ICFEM
2003
Springer
15 years 10 months ago
Generic Interacting State Machines and Their Instantiation with Dynamic Features
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
David von Oheimb, Volkmar Lotz
PASTE
2010
ACM
15 years 10 months ago
Extracting compiler provenance from program binaries
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
Nathan E. Rosenblum, Barton P. Miller, Xiaojin Zhu