469 search results - page 34 / 94 » Extended abstract: a race-free hardware modeling language |
100
click to vote
IWOMP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. With the advent of multicore- and manycore-based supercomputers, parallel programming models like MPI and OpenMP become more widely used to express various levels of para...
118
click to vote
DATE
2010
IEEE
14 years 10 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
118
click to vote
SPATIALCOGNITION
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
HYBRID
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
119
click to vote
DAGSTUHL
2001
15 years 1 months ago
2001
GXL (Graph eXchange Language) is designed to be a standard exchange format for graph-based tools. GXL is defined as an XML sublanguage, which offers support for exchanging instanc...