557 search results - page 44 / 112 » The L4.verified Project - Next Steps |
108
Voted
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
- By putting different chips on the same mask, shuttle mask (or multiple project wafer) provides an economical solution for low volume designs and design prototypes to share the ri...
123
Voted
IDA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We propose a generic framework and methods for simplification of large networks. The methods can be used to improve the understandability of a given network, to complemen...
165
Voted
ESEM
2008
ACM
15 years 5 months ago
2008
ACM
Effort distribution by phase or activity is an important but often overlooked aspect compared to other steps in the cost estimation process. Poor effort allocation is among the ma...
133
Voted
AAAI
2010
15 years 5 months ago
2010
Multi-instance learning deals with problems that treat bags of instances as training examples. In single-instance learning problems, dimensionality reduction is an essential step ...
127
Voted
CATA
2007
15 years 5 months ago
2007
A quick turnaround Sub-Orbital Student Experiment Module sounding rocket experiment has been designed and built to initiate the Old Dominion University wireless spacecraft bus pro...