10038 search results - page 1580 / 2008 » Model Checking for Managers |
177
Voted
VAMOS
2007
Springer
16 years 25 days ago
2007
Springer
Using a product line approach allows companies realize significant improvements in time-to-market, cost, productivity, and quality. One fundamental problem in software product lin...
146
click to vote
DATE
2006
IEEE
16 years 24 days ago
2006
IEEE
Much research has focused on power conservation for the processor, while power conservation for I/O devices has received little attention. In this paper, we analyze the problem of...
170
click to vote
GLVLSI
2006
IEEE
16 years 24 days ago
2006
IEEE
Reliability has become a significant challenge for system design in new process technologies. Higher integration levels dramatically increase power densities, which leads to high...
154
click to vote
HICSS
2006
IEEE
16 years 24 days ago
2006
IEEE
Understanding the dynamics of technology evolution—whether for the purposes of forecasting new product or technology infrastructure developments, or identifying the basis for fu...
162
Voted
ICARCV
2006
IEEE
16 years 24 days ago
2006
IEEE
– This paper presents a localization strategy for vehicles in urban environments by mapping and updating natural landmarks provided by a 2D ladar (laser range scanner) when GPS d...