517 search results - page 42 / 104 » Specification transformers: a predicate transformer approach... |
FPL
2004
Springer
14 years 1 months ago
2004
Springer
A previous study [1] demonstrates the advantages of replacing registers by FPGA embedded memories during the storage allocation phase of High-Level Synthesis. The trend in new FPGA...
CVPR
2009
IEEE
15 years 3 months ago
2009
IEEE
We present a method for the detection of instances of an
object class, such as cars or pedestrians, in natural images.
Similarly to some previous works, this is accomplished via
...
IESS
2007
Springer
14 years 2 months ago
2007
Springer
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...
IICAI
2007
13 years 10 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
PODS
2004
ACM
14 years 8 months ago
2004
ACM
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...