3902 search results - page 573 / 781 » Hardware Synthesis from C C Models |
168
click to vote
HT
2007
ACM
15 years 10 months ago
2007
ACM
This paper postulates that for the Semantic Web to grow and gain input from fields that will surely benefit it, it needs to develop an analogue that will help people not only unde...
186
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
Diversity has been heavily motivated in the information retrieval literature as an objective criterion for result sets in search and recommender systems. Perhaps one of the most w...
154
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
171
click to vote
WSC
2004
15 years 8 months ago
2004
Stream Option Manager (SOM) is a set of mathematical tools developed at The MITRE Corporation's Center for Advanced Aviation System Development (CAASD). While still under dev...
160
click to vote
VG
2003
15 years 8 months ago
2003
In this paper, we propose a novel shape and physical attribute handling system Volume-CAD designated for practical and robust use in the manufacturing process of various industrie...