929 search results - page 5 / 186 » Computer assistance for model definition |
CODES
2007
IEEE
13 years 11 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...
ACTAC
2006
13 years 7 months ago
2006
The surgery of fractured bones is often a very complex problem. That is the reason why it would be beneficial to create a geometric and mechanic model of the bones before surgical...
VLSID
2004
IEEE
14 years 7 months ago
2004
IEEE
Dynamic noise analysis is greatly needed in place of traditional static noise analysis due to the ever increasingly stringent design requirement for VLSI chips based on very deep ...
FCT
2007
Springer
13 years 11 months ago
2007
Springer
We give an algorithm for deciding productivity of a large and natural class of recursive stream definitions. A stream definition is called `productive' if it can be evaluated ...
IJCAI
2007
13 years 8 months ago
2007
There is a growing interest in intelligent assistants for a variety of applications from organizing tasks for knowledge workers to helping people with dementia. In this paper, we ...