Sciweavers

2918 search results - page 276 / 584
» Design tools for reliability analysis
Sort
View
TASLP
2010
113views more  TASLP 2010»
15 years 26 days ago
Spherical Harmonic Analysis of Wavefields Using Multiple Circular Sensor Arrays
Spherical harmonic decomposition of wavefields is not only an active problem in acoustic signal processing but also a useful tool in a plethora of applications such as 3D beamform...
Thushara D. Abhayapala, Aastha Gupta
IESS
2007
Springer
92views Hardware» more  IESS 2007»
16 years 9 days ago
An Interactive Model Re-Coder for Efficient SoC Specification
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...
Pramod Chandraiah, Rainer Dömer
ICSE
2008
IEEE-ACM
16 years 6 months ago
VieDAME - flexible and robust BPEL processes through monitoring and adaptation
VieDAME is a tool for monitoring and dynamic service adaptation of BPEL processes. The tool monitors partner service interaction to compute Quality of Service (QoS) data and perfo...
Oliver Moser, Florian Rosenberg, Schahram Dustdar
200
Voted
SIGMOD
2011
ACM
290views Database» more  SIGMOD 2011»
14 years 9 months ago
Database state generation via dynamic symbolic execution for coverage criteria
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
Kai Pan, Xintao Wu, Tao Xie
149
Voted
BMCBI
2006
147views more  BMCBI 2006»
15 years 6 months ago
A case study in pathway knowledgebase verification
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
Stephen A. Racunas, Nigam Shah, Nina V. Fedoroff