373 search results - page 16 / 75 » Explicitly Modelling Model Debugging Environments |
IROS
2008
IEEE
14 years 4 months ago
2008
IEEE
—Path tracking control on non-flat terrain is an important capability of mobile robots operating in outdoor environments. A path tracking controller based on the model predictive...
DATE
2004
IEEE
14 years 1 months ago
2004
IEEE
This paper presents a versatile hardware/software cosimulation and co-design environment for embedded 3D graphics accelerators. The GRAphics AcceLerator design exploration framewo...
EDOC
2011
IEEE
12 years 9 months ago
2011
IEEE
Abstract—Enterprise Architecture approaches are used to provide rigorous descriptions of the organization-wide environment, manage the alignment of deployed services to the organ...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
AOSD
2006
ACM
14 years 3 months ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...