Sciweavers

367 search results - page 8 / 74
» tools 1997
Sort
View
GROUP
1997
ACM
13 years 11 months ago
CEVA: a tool for collaborative video analysis
Video protocol analysis is a standard technique in many research disciplines including human-computerinteraction and computer supported cooperative work. It is notoriously time co...
Andy Cockburn, Tony Dale
ITICSE
1997
ACM
13 years 11 months ago
A genetic algorithms tutorial tool for numerical function optimisation
The field of Genetic Algorithms has grown into a huge area over the last few years. Genetic Algorithms are adaptive methods, which can be used to solve search and optimisation pro...
Edmund K. Burke, D. B. Varley
SIGCSE
1997
ACM
158views Education» more  SIGCSE 1997»
13 years 11 months ago
A collection of tools for making automata theory and formal languages come alive
We present a collection of new and enhanced tools for experimenting with concepts in formal languages and automata theory. New tools, written in Java, include JFLAP for creating a...
Susan H. Rodger, Anna O. Bilska, Kenneth H. Leider...
KBSE
1997
IEEE
13 years 11 months ago
Application of Formal Methods to the Development of a Software Maintenance Tool
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
Sandrine Blazy, Philippe Facon
DAC
1997
ACM
13 years 11 months ago
Tools and Methodologies for Low Power Design
-- Designing for low power has become increasingly important in a wide variety of applications, including wireless telephony, mobile computing, high performance computing, and high...
Jerry Frenkil