Sciweavers

898 search results - page 91 / 180
» An Analysis of Permutations in Arrays
Sort
View
FP
1989
124views Formal Methods» more  FP 1989»
15 years 10 months ago
Deriving the Fast Fourier Algorithm by Calculation
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...
Geraint Jones
SCAM
2008
IEEE
16 years 22 days ago
Automatic Determination of May/Must Set Usage in Data-Flow Analysis
Data-flow analysis is a common technique to gather program information for use in transformations such as register allocation, dead-code elimination, common subexpression elimina...
Andrew Stone, Michelle Strout, Shweta Behere
ISCAS
2006
IEEE
68views Hardware» more  ISCAS 2006»
16 years 12 days ago
Real-time seizure monitoring and spectral analysis microsystem
We present a neural recording and spectral analysis RECORDING ANALYSIS integrated microsystem. It is the instrumentational and computa- INTERACE PROCESSOR tional core of an envisio...
J. N. Y. Aziz, Rafal Karakiewicz, Roman Genov, B. ...
DIGRA
2003
Springer
15 years 11 months ago
The Diverse Worlds of Computer Games: A Content Analysis of Spaces, Populations, Styles and Narratives
The Diverse Worlds Project analysed 130 computer and video games (CVGs) to understand their textual landscape. Titles were sampled from the five gaming platforms dominant in 2002....
Jeffrey E. Brand, Scott Knight, Jakub Majewski
TC
2010
15 years 4 months ago
Formal Reliability Analysis Using Theorem Proving
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
Osman Hasan, Sofiène Tahar, Naeem Abbasi