1407 search results - page 246 / 282 » Using Use Cases in Executable Z |
140
Voted
EUROMED
2010
15 years 2 months ago
2010
Digital cultural heritage in interactive form can take different shapes. It can be either in the form of interactive virtual representations of non-digital objects like buildings o...
132
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— We consider the kinematic control problem for nonholonomic mobile manipulators (NMMs) whose base contains steering wheels. For all typical tasks, the steering velocity inputs o...
146
Voted
TCAD
2008
15 years 2 months ago
2008
The design of MultiProcessor Systems-on-Chip (MPSoC) emphasizes intellectual-property (IP)-based communication-centric approaches. Therefore, for the optimization of the MPSoC inte...
139
Voted
WRLA
2010
15 years 2 months ago
2010
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
149
Voted
EMSOFT
2010
Springer
15 years 1 months ago
2010
Springer
Nucleos is a new runtime system for ultra-lightweight embedded systems. Central to Nucleos is a dispatcher based on the concept of e threaded code, which enables layers of abstrac...