14515 search results - page 182 / 2903 » Efficient Embedded Computing |
CVPR
2010
IEEE
15 years 13 days ago
2010
IEEE
135
click to vote
TCAD
2002
15 years 2 months ago
2002
In this paper, an instruction-level energy model is proposed for the data-path of very long instruction word (VLIW) pipelined processors that can be used to provide accurate power ...
118
Voted
MKWI
2008
15 years 3 months ago
2008
: The effectiveness of semantic applications can be increased significantly if the system does not urge the users to take care of explicit semantic annotation creation. Today, sema...
123
Voted
CSL
2010
Springer
15 years 3 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
99
Voted
ISSS
1995
IEEE
15 years 6 months ago
1995
IEEE
Designers of embedded systems are facing ever tighter constraintson design time, but computer aided design tools for embedded systems have not kept pace with these trends. The Chi...