4586 search results - page 664 / 918 » Computing stable models in parallel |
116
click to vote
ASAP
2003
IEEE
15 years 9 months ago
2003
IEEE
— In industry, embedded systems for stream-based processing are often modelled and verified by using process networks, such as Kahn process networks. An advantage of Kahn networ...
136
click to vote
CLUSTER
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a concurrent object model based on distributed recursive sets for data intensive applications that use complex, recursive data layouts. The set abstraction is ...
121
click to vote
ICDCSW
2002
IEEE
15 years 9 months ago
2002
IEEE
Event-based middleware is currently being applied for application component integration in a range of application domains. As a result, a variety of event services have been propo...
156
click to vote
CA
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper shows a new approach to model and control interactive objects for simulations with virtual human agents when real time interactivity is essential. A general conceptuali...
134
click to vote
CPHYSICS
2008
15 years 4 months ago
2008
Peridynamics (PD) is a continuum theory that employs a nonlocal model to describe material properties. In this context, nonlocal means that continuum points separated by a finite ...