4 search results - page 1 / 1 » Overview of a TRW Pilot Program |
82
Voted
MSS
1999
IEEE
15 years 1 months ago
1999
IEEE
Recently TRW fielded a prototype system for a government customer. It provides a wide range of capabilities including data collection, hierarchical storage, automated distribution...
CATS
2006
14 years 11 months ago
2006
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we descr...
75
Voted
SIGUCCS
2003
ACM
15 years 2 months ago
2003
ACM
Indiana State University is providing handheld computers to every faculty member in its School of Education. What started as a small pilot program a year ago has grown into a proj...
ICS
2009
Tsinghua U.
15 years 4 months ago
2009
Tsinghua U.
In this work, we propose a new FPGA design flow that combines the CUDA programming model from Nvidia with the state of the art high-level synthesis tool AutoPilot from AutoESL, to...