Sciweavers

2523 search results - page 35 / 505
» Correct Development of Embedded Systems
Sort
View
JFP
2006
119views more  JFP 2006»
13 years 7 months ago
Gencel: a program generator for correct spreadsheets
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...
Martin Erwig, Robin Abraham, Steve Kollmansberger,...
DSD
2007
IEEE
217views Hardware» more  DSD 2007»
14 years 2 months ago
Component-Based Hardware/Software Co-Simulation
Developing highly efficient and reliable embedded systems demands hardware/software (HW/SW) co-design and, therefore, co-simulation. In order to be highly configurable, embedded...
Ping Hang Cheung, Kecheng Hao, Fei Xie
ESE
2006
256views Database» more  ESE 2006»
13 years 7 months ago
Integrating agile software development into stage-gate managed product development
Agile methods have evolved as a bottom-up approach to software development. However, as the software in embedded products is only one part of development projects, agile methods mu...
Daniel Karlström, Per Runeson
ACCV
2007
Springer
14 years 1 months ago
Multiperspective Distortion Correction Using Collineations
We present a new framework for correcting multiperspective distortions using collineations. A collineation describes the transformation between the images of a camera due to change...
Yuanyuan Ding and Jingyi Yu
IROS
2009
IEEE
151views Robotics» more  IROS 2009»
14 years 2 months ago
Simultaneous people tracking and localization for social robots using external laser range finders
—Robust localization of robots and reliable tracking of people are both critical requirements for the deployment of service robots in real-world environments. In crowded public s...
Dylan F. Glas, Takayuki Kanda, Hiroshi Ishiguro, N...