1151 search results - page 173 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
116
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
128
click to vote
CASES
2009
ACM
15 years 8 months ago
2009
ACM
2's complement number system imposes a fundamental limitation on the power and performance of arithmetic circuits, due to the fundamental need of cross-datapath carry propaga...
133
click to vote
ECMDAFA
2009
Springer
15 years 1 months ago
2009
Springer
Textual Syntax (TS) as a form of model representation has made its way to the Model-Driven Software Development community and is considered a viable alternative to graphical repres...
132
click to vote
CIKM
2000
Springer
15 years 8 months ago
2000
Springer
The complexity of deploying high-performance spatial structures in transactional DBMS environments has motivated researchers to experiment with the idea of reusing the effort inve...
128
click to vote
ISQED
2006
IEEE
15 years 10 months ago
2006
IEEE
Design for Manufacturability (DFM) is becoming increasingly important as process geometries shrink. Conventional design rule pass/fail is not adequate to quantify DFM compliance. ...