1953 search results - page 152 / 391 » Embedded Probabilistic Programming |
155
click to vote
CSL
2010
Springer
15 years 6 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...
148
Voted
CP
2004
Springer
15 years 10 months ago
2004
Springer
In this talk we present a number of problems for network design, planning and analysis and show how they can be addressed with different hybrid CP solutions. Clearly, this problem...
132
click to vote
ANCS
2008
ACM
15 years 7 months ago
2008
ACM
Nearly all programmable commercial hardware solutions offered for high-speed networking systems are capable of meeting the performance and flexibility requirements of equipment ve...
128
Voted
JOT
2007
15 years 4 months ago
2007
Aspect Oriented Programming proposes an approach to increase code functionality with aspects that are not part of the main code functionality. The current work shows how can be do...
193
click to vote
SCAM
2005
IEEE
15 years 10 months ago
2005
IEEE
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both understanding the software and for reverse compiling it to...