Sciweavers

9842 search results - page 644 / 1969
» Compositional timing analysis
Sort
View
EURODAC
1994
IEEE
145views VHDL» more  EURODAC 1994»
15 years 11 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
AIED
2007
Springer
15 years 11 months ago
Novel Tools for Assessing Student Discussions: Modeling threads and participant roles using speech act and course topic analysis
This paper describes new techniques for assessing pedagogical discourse via threaded discussions that are based on an analysis of speech acts and course topics. The context is an u...
Jihie Kim, Erin Shaw, Grace Chern, Roshan Herbert
BIRTHDAY
2006
Springer
15 years 11 months ago
Abstract Interpretation for Worst and Average Case Analysis
Interpretation for Worst and Average Case Analysis Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, University of Pisa, Italy 2 Departme...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
195
Voted
DSD
2006
IEEE
99views Hardware» more  DSD 2006»
15 years 11 months ago
Flexible Bus and NoC Performance Analysis with Configurable Synthetic Workloads
We present a flexible method for bus and network on chip performance analysis, which is based on the adaptation of workload models to resemble various applications. Our analysis m...
Rikard Thid, Ingo Sander, Axel Jantsch
ESOP
2000
Springer
15 years 11 months ago
A Kleene Analysis of Mobile Ambients
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv