5525 search results - page 154 / 1105 » Verification of Model Transformations |
131
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...
145
Voted
ISCAPDCS
2003
15 years 4 months ago
2003
Many computation-intensive iterative or recursive applications commonly found in digital signal processing and image processing applications can be represented by data-flow graph...
106
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper we present a novel approach to acoustic model training for non-audible murmur (NAM) recognition using normal speech data transformed into NAM data. NAM is extremely ...
167
click to vote
CC
2008
Springer
15 years 5 months ago
2008
Springer
The polyhedral model provides powerful abstractions to optimize loop nests with regular accesses. Affine transformations in this model capture a complex sequence of execution-reord...
127
click to vote
BPSC
2009
15 years 4 months ago
2009
Abstract: When SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable ...