Sciweavers

2800 search results - page 341 / 560
» Fibrational Control Structures
Sort
View
ICSE
1997
IEEE-ACM
15 years 7 months ago
Communication Metrics for Software Development
† We present empirical evidence that metrics on communication artifacts generated by groupware tools can be used to gain significant insight into the development process that pro...
Bernd Brügge, Allen H. Dutoit
EURODAC
1994
IEEE
145views VHDL» more  EURODAC 1994»
15 years 7 months ago
Testability analysis and improvement from VHDL behavioral specifications
This paper presents a testability improvement method for digital systems described in VHDL behavioral specification. The method is based on testability analysis at registertransfe...
Xinli Gu, Krzysztof Kuchcinski, Zebo Peng
CHI
1993
ACM
15 years 7 months ago
Synthetic synesthesia: mixing sound with color
An interface is described that uses color and spatial relations to provide an intuitive interface for sound manipulation. A simple geometric shape, called the Geometric Sound Mixe...
Kristinn R. Thórisson, Karen Donoghue
EDCC
1994
Springer
15 years 7 months ago
Hierarchical Checking of Multiprocessors Using Watchdog Processors
A new control flow checking scheme, based on assigned-signature checking by a watchdog processor, is presented. This scheme is suitable for a multitasking, multiprocessor environme...
István Majzik, András Pataricza, Mar...
113
Voted
DAC
1992
ACM
15 years 7 months ago
Synthesis from Production-Based Specifications
This paper describes a model for, and an implementation of, production-based synthesis of hardware description language (HDL) code in which the overall structure of the resultant ...
Andrew Seawright, Forrest Brewer