Sciweavers

2132 search results - page 364 / 427
» Automated software winnowing
Sort
View
ICECCS
2007
IEEE
154views Hardware» more  ICECCS 2007»
15 years 10 months ago
A light-weight static approach to analyzing UML behavioral properties
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
Lijun Yu, Robert B. France, Indrakshi Ray, Kevin L...
IPPS
2007
IEEE
15 years 10 months ago
Base Operating System Provisioning and Bringup for a Commercial Supercomputer
Commercial Scale-Out is a new research project at IBM Research. Its main goal is to investigate and develop technologies for the use of large scale parallelism in commercial appli...
David Daly, Jong Hyuk Choi, José E. Moreira...
151
Voted
IROS
2007
IEEE
193views Robotics» more  IROS 2007»
15 years 10 months ago
Data acquisition and view planning for 3-D modeling tasks
— In this paper we address the joint problems of automated data acquisition and view planning for large–scale indoor and outdoor sites. Our method proceeds in two distinct stag...
Paul Blaer, Peter K. Allen
ESAW
2007
Springer
15 years 10 months ago
Multi-agent Simulation to Implementation: A Practical Engineering Methodology for Designing Space Flight Operations
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...
William J. Clancey, Maarten Sierhuis, Chin Seah, C...
SCOPES
2007
Springer
15 years 10 months ago
Optimization of dynamic data structures in multimedia embedded systems using evolutionary computation
Embedded consumer devices are increasing their capabilities and can now implement new multimedia applications reserved only for powerful desktops a few years ago. These applicatio...
David Atienza, Christos Baloukas, Lazaros Papadopo...