29147 search results - page 2 / 5830 » System Modeling Resurrected |
117
Voted
ICCAD
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper addresses the problem of speeding up functional (delayindependent)logic simulation for synchronousdigital systems. The problem needs very little new motivation – cycl...
145
Voted
CLUSTER
2002
IEEE
15 years 3 months ago
2002
IEEE
CEJVM is a cluster enabled Java Virtual Machine, which executes in a distributed fashion among collaborating nodes of a dedicated cluster. It extends Java`s multithreading mechani...
126
Voted
FORTE
2009
15 years 1 months ago
2009
Abstract. In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecifie...
146
Voted
ANTSW
2010
Springer
15 years 1 months ago
2010
Springer
Division of labour in multi-robot systems or multi-robot task allocation (MRTA) is a challenging research issue. We propose to solve this MRTA problem using a set of previously pub...
105
Voted
CN
2011
14 years 10 months ago
2011
