Sciweavers

6239 search results - page 304 / 1248
» From Zinc to Design Model
Sort
View
ERSA
2009
107views Hardware» more  ERSA 2009»
15 years 5 months ago
Towards Effective Modeling and Programming Multi-core Tiled Reconfigurable Architectures
For a generic flexible efficient array antenna receiver platform a hierarchical reconfigurable tiled architecture has been proposed. The architecture provides a flexible reconfigur...
Kenneth C. Rovers, Marcel D. van de Burgwal, Jan K...
ICRA
2008
IEEE
166views Robotics» more  ICRA 2008»
16 years 1 months ago
Off-road robot modeling with dextrous manipulation kinematics
— We present a novel way of modeling wheeled vehicles on outdoor terrains. Adapting concepts from dextrous manipulation, we precisely model the way that three dimensional wheels ...
Joseph Auchter, Carl A. Moore
QOSA
2009
Springer
15 years 12 months ago
Automated Architecture Consistency Checking for Model Driven Software Development
When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is g...
Matthias Biehl, Welf Löwe
FBT
1998
119views Formal Methods» more  FBT 1998»
15 years 8 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust
ICSE
2003
IEEE-ACM
16 years 19 days ago
Reliability Support for the Model Driven Architecture
Reliability is an important concern for software dependability. Quantifying dependability in terms of reliability can be carried out by measuring the continuous delivery of a corr...
Genaína Nunes Rodrigues, Graham Roberts, Wo...