5015 search results - page 720 / 1003 » Model Checking a Path |
176
click to vote
ITNG
2007
IEEE
16 years 26 days ago
2007
IEEE
In networks-on-chip (NoC) designs, delay variations and crosstalk noise have become a serious issue with the continuously shrinking geometry of semiconductor devices and the incre...
173
click to vote
DATE
2006
IEEE
16 years 22 days ago
2006
IEEE
Enhancing productivity for designing complex embedded systems requires system level design methodology and language support for capturing complex design in high level models. For ...
171
click to vote
EUROMICRO
2003
IEEE
15 years 12 months ago
2003
IEEE
The idea of component based software systems has a long tradition in the field of software engineering. Component markets have been an integral part of this idea. However, such ma...
211
click to vote
MSWIM
2003
ACM
15 years 12 months ago
2003
ACM
Recently, geographic routing in wireless networks has gained attention due to several advantages of location information. Location information eliminates the necessity to set up a...
179
Voted
PG
2002
IEEE
15 years 11 months ago
2002
IEEE
An active contour model for parametric curve and surface approximation is presented. The active curve or surface adapts to the model shape to be approximated in an optimization al...