284 search results - page 43 / 57 » Recursive Abstractions for Parameterized Systems |
MATA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Mobile agent systems provide new perspectives for distributed e-commerce applications. These applications may present specific restrictions, making mobile agent systems ...
SIGGRAPH
1994
ACM
13 years 11 months ago
1994
ACM
strokes makes it particularly attractive in terms of storage size and transmission efficiency. Its efficient implementation is favourable for incorporation into windowing systems a...
IPMI
2007
Springer
14 years 8 months ago
2007
Springer
Abstract. In this paper, we present a novel continuous mixture of diffusion tensors model for the diffusion-weighted MR signal attenuation. The relationship between the mixing dist...
ICFP
2007
ACM
14 years 7 months ago
2007
ACM
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestat...
LCPC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. As processor complexity increases compilers tend to deliver suboptimal performance. Library generators such as ATLAS, FFTW and SPIRAL overcome this issue by empirically s...