Sciweavers

561 search results - page 71 / 113
» Exploiting Open-source Projects to Study Software Design
Sort
View
ICASSP
2008
IEEE
14 years 4 months ago
Analyzing the scalability of SIMD for the next generation software defined radio
Previous studies have shown that wireless DSP algorithms exhibit high levels of data level parallelism (DLP). Commercial and research work in the field of software defined radio...
Mark Woh, Yuan Lin, Sangwon Seo, Trevor N. Mudge, ...
AC
2003
Springer
14 years 3 months ago
Application of Coloured Petri Nets in System Development
Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and...
Lars Michael Kristensen, Jens Bæk Jør...
ISSRE
2006
IEEE
14 years 4 months ago
A Systematic Approach to Generate Inputs to Test UML Design Models
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. Fran...
MSE
2005
IEEE
129views Hardware» more  MSE 2005»
14 years 4 months ago
An FPGA-Based Daughtercard for TI's C6000 family of DSKs
In this paper we present an FPGA-based daughtercard designed for TI’s C6000 family of DSP Starter Kits (DSKs). The hardware, initially designed for a course project, provides a ...
Manik Gadhiok, Ricky Hardy, Patrick Murphy, J. Pat...
PPDP
2009
Springer
14 years 4 months ago
Future contracts
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
Christos Dimoulas, Riccardo Pucella, Matthias Fell...