3902 search results - page 430 / 781 » Hardware Synthesis from C C Models |
161
click to vote
ISLPED
2005
ACM
16 years 12 days ago
2005
ACM
High power consumption and low energy efficiency have become significant impediments to future performance improvements in modern microprocessors. This paper contributes to the so...
174
Voted
SIGMETRICS
2003
ACM
16 years 2 days ago
2003
ACM
—Node movement can be exploited to reduce the energy consumption of wireless network communication. The strategy consists in delaying communication until a mobile node moves clos...
160
click to vote
WEBNET
1997
15 years 8 months ago
1997
–The accessibility of the World Wide Web and its flexibility for conveying digital information in various forms makes it a convenient mode of communication for education. In thi...
178
click to vote
CSJM
2007
15 years 6 months ago
2007
For modeling the interpretation process of NL sentences we use the mechanisms implying semantic networks that assure syntactic – semantic text interpretation (SSI), including an...
177
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...