Sciweavers

12670 search results - page 374 / 2534
» Requirements Modeling
Sort
View
APCCAS
2006
IEEE
245views Hardware» more  APCCAS 2006»
16 years 26 days ago
Digital Audio Broadcasting System Modeling and Hardware Implementation
— DAB is a growing communication technology for digital audio broadcasting and demands higher concentration on flexible and cost optimum implementations for use in new mobile ele...
Nariman Moezzi Madani, Hamed Holisaz, Seid Mehdi F...
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
16 years 26 days ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra
ICDE
2006
IEEE
141views Database» more  ICDE 2006»
16 years 26 days ago
MoSCoE: A Framework for Modeling Web Service Composition and Execution
Development of sound approaches and software tools for specification, assembly, and deployment of composite Web services from independently developed components promises to enhan...
Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasa...
ISBI
2006
IEEE
16 years 25 days ago
Consistent spherical parameterisation for statistical shape modelling
We have described previously a method of automatically constructing statistical models of shape. The method treats model-building as an optimisation problem by re-parameterising ea...
Rhodri H. Davies, Carole J. Twining, Christopher J...
DAC
2006
ACM
16 years 23 days ago
How will the fabless model survive?
The fabless model was traditionally enabled through clean interfaces – both in technical and business terms – between foundries and fabless semiconductor companies. However, w...
Thomas Hartung, Jim Kupec, Ana Hunter, Brad Paulse...