2432 search results - page 159 / 487 » Using simple abstraction to reinvent computing for paralleli... |
113
click to vote
DEBS
2009
ACM
15 years 11 months ago
2009
ACM
Event processing has become the paradigm of choice in many monitoring and reactive applications. However, the understanding of events, their composition and level of abstraction, ...
132
click to vote
COORDINATION
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...
144
Voted
RTA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper shows that the suitable orderings for proving innermost termination are characterized by the innermost parallel monotonicity, IP-monotonicity for short. This p...
165
click to vote
PPSN
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A key problem in designing artificial neural networks for visual object recognition tasks is the proper choice of the network architecture. Evolutionary optimization met...
160
Voted
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...