Sciweavers

1956 search results - page 236 / 392
» A Critical View of Context
Sort
View
COMPSAC
2002
IEEE
15 years 11 months ago
Quantitative Aspects of Requirements Evolution
Requirements Evolution is considered one of the most critical issues in developing computer-based systems. Despite the recognised role of requirements in Software Engineering, Req...
Stuart Anderson, Massimo Felici
DATE
2002
IEEE
206views Hardware» more  DATE 2002»
15 years 11 months ago
Accurate Area and Delay Estimators for FPGAs
We present an area and delay estimator in the context of a compiler that takes in high level signal and image processing applications described in MATLAB and performs automatic de...
Anshuman Nayak, Malay Haldar, Alok N. Choudhary, P...
ICRA
2002
IEEE
171views Robotics» more  ICRA 2002»
15 years 11 months ago
Robust Tracking and Structure from Motion with Sample Based Uncertainty Representation
Geometric reconstruction of the environment from images is critical in autonomous mapping and robot navigation. Geometric reconstruction involves feature tracking, i.e., locating ...
Peng Chang, Martial Hebert
ISSS
2002
IEEE
133views Hardware» more  ISSS 2002»
15 years 11 months ago
Efficient Simulation of Synthesis-Oriented System Level Designs
Modeling for synthesis and modeling for simulation seem to be two competing goals in the context of C++-based modeling frameworks. One of the reasons is while most hardware system...
Rajesh K. Gupta, Sandeep K. Shukla, Nick Savoiu
EDCC
2010
Springer
15 years 11 months ago
Software Process Synthesis in Assurance Based Development of Dependable Systems
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
Patrick J. Graydon, John C. Knight