7580 search results - page 1273 / 1516 » Prometheus design tool |
177
click to vote
ESWS
2005
Springer
16 years 6 hour ago
2005
Springer
The paper addresses the problem of reasoning with multiple ontologies interrelated with semantic mappings. This problem is becoming more and more relevant due to the necessity of b...
173
click to vote
EUROPAR
2005
Springer
16 years 5 hour ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
174
click to vote
FASE
2005
Springer
16 years 4 hour ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
174
click to vote
FPGA
2005
ACM
16 years 3 hour ago
2005
ACM
Configurable processors are becoming increasingly popular for modern embedded systems (especially for the field-programmable system-on-a-chip). While steady progress has been made...
159
click to vote
FPL
2005
Springer
16 years 3 hour ago
2005
Springer
This paper addresses exploitation of the capabilities of platform FPGAs to implement embedded networking for systems on chip. In particular, a methodology for exploring trade-offs...