Sciweavers

3365 search results - page 239 / 673
» Digital System Design: Architectures, Methods and Tools
Sort
View
COMPSAC
2002
IEEE
16 years 3 days ago
From MSC and UML to SDL
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
Stephan Bourduas, Ferhat Khendek, Daniel Vincent
DAC
2005
ACM
16 years 8 months ago
StressTest: an automatic approach to test generation via activity monitors
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
Ilya Wagner, Valeria Bertacco, Todd M. Austin
SAC
2008
ACM
15 years 6 months ago
Design pattern detection by template matching
In this paper, we adopt a template matching method to detect design patterns from a software system by calculating their normalized cross correlation. Because design patterns docu...
Jing Dong, Yongtao Sun, Yajing Zhao
CPHYSICS
2006
119views more  CPHYSICS 2006»
15 years 7 months ago
GDF: A tool for function estimation through grammatical evolution
This article introduces a tool for data fitting that is based on genetic programming and especially on the grammatical evolution technique. The user needs to input a series of poi...
Ioannis G. Tsoulos, Dimitris Gavrilis, Evangelos D...
CHI
2010
ACM
16 years 2 months ago
Homeless young people's experiences with information systems: life and work in a community technology center
This paper explores how homeless young people, aged 1325, make use of information systems in daily life. Observed in a community technology center, four different examples of uses...
Jill Palzkill Woelfer, David G. Hendry