430 search results - page 25 / 86 » The Architecture Description Language MoDeL |
ATAL
2006
Springer
14 years 2 months ago
2006
Springer
We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...
MODELS
2009
Springer
14 years 5 months ago
2009
Springer
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
MUC
1993
14 years 2 months ago
1993
This paper describes the GE-CMU TIPSTER/SHOGUN system as configured for the TIPSTER 24-month (MUC-5) benchmark, and gives details of the system's performance on the selected ...
COOPIS
2002
IEEE
14 years 3 months ago
2002
IEEE
In this paper we propose a mediator architecture for the querying and integration of Web-accessible XML data sources. Our contributions are (i) the definition of a simple but expr...
DELTA
2010
IEEE
14 years 3 months ago
2010
IEEE
— FPGAs, (Field-Programmable Gate Arrays) are often used for embedded image processing applications. Parallelism, and in particular pipelining, is the most suitable architecture ...