1325 search results - page 88 / 265 » An Approach to Generation of Decision Rules |
171
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
We present a new hardware synthesis methodology for guarded atomic actions (or rules), which satisfies performance-related scheduling specifications provided by the designer. The ...
205
click to vote
TSMC
2008
15 years 5 months ago
2008
Future generations of air traffic management systems may give appropriately equipped aircraft the freedom to change flight paths in real time. This would require a conflict avoidan...
189
click to vote
HICSS
2005
IEEE
15 years 12 months ago
2005
IEEE
1 Quickly detecting an unexpected pathogen can save many lives. In cases of bioterrorism or naturally occurring epidemics, accurate diagnoses may not be made until much of the popu...
180
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
143
click to vote
SEMWEB
2007
Springer
16 years 14 days ago
2007
Springer
The design and maintenance of an aero-engine generates a significant amount of documentation. When designing new engines, engineers must obtain knowledge gained from maintenance o...