399 search results - page 72 / 80 » Verification of System Level Model Transformations |
104
click to vote
CC
2006
Springer
15 years 3 months ago
2006
Springer
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...
104
click to vote
DAWAK
2006
Springer
15 years 3 months ago
2006
Springer
Comprehensive data analysis has become indispensable in a variety of environments. Standard OLAP (On-Line Analytical Processing) systems, designed for satisfying the reporting need...
100
click to vote
COMPLEXITY
2010
14 years 9 months ago
2010
The increasing sophistication of the tools and results of cellular and molecular neuroscience would appear to suggest that explanatory force in neuroscience is defined by reductio...
ECBS
2006
IEEE
15 years 5 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
When exposed to environmental noise, speakers adjust their speech production to maintain intelligible communication. This phenomenon, called Lombard effect (LE), is known to consi...