5189 search results - page 709 / 1038 » Modeling architectural patterns using architectural primitiv... |
186
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
In seeking to model realistic room acoustics, direct numerical simulation can be employed. This paper presents 3D Finite Difference Time Domain schemes that incorporate losses at ...
209
click to vote
SI3D
2010
ACM
16 years 2 months ago
2010
ACM
Volume caustics are intricate illumination patterns formed by light first interacting with a specular surface and subsequently being scattered inside a participating medium. Alth...
193
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
247
click to vote
ASPLOS
2008
ACM
15 years 9 months ago
2008
ACM
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Addressing this challenge requires adva...
213
click to vote
IJSEKE
2006
15 years 7 months ago
2006
pecific models increase the level of abstraction used to develop large-scale component-based systems. Model-driven development (MDD) approaches (e.g., ModelIntegrated Computing and...