3725 search results - page 631 / 745 » DLP System Description |
147
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
138
Voted
CAV
2008
Springer
15 years 6 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
116
Voted
CICLING
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Automatic document summarization has become increasingly important due to the quantity of written material generated worldwide. Generating good quality summaries enables ...
114
click to vote
CANDC
2005
ACM
15 years 5 months ago
2005
ACM
Important design problems are raised in developing software for amateur users, a group distinguished here from novices. The authors argue that these design problems can be approac...
143
click to vote
DAC
2005
ACM
15 years 5 months ago
2005
ACM
This paper focuses on designing network processing software for embedded processors. Our design flow CRACC represents an efficient path to implementation based on a modular applic...