1239 search results - page 35 / 248 » Control Generation for Logic Programs |
102
click to vote
PUC
2006
15 years 1 months ago
2006
Traditional remote controls typically allow users to activate functionality of a single device. Given that users activate a subset of functionality across devices to accomplish a p...
123
click to vote
DAC
2007
ACM
16 years 2 months ago
2007
ACM
Programming multi-processor systems-on-chip (MPSoC) involves partitioning and mapping of sequential reference code onto multiple parallel processing elements. The immense potentia...
110
click to vote
ARCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The SoC (System-on-Chip) technology is used in small and flexible consumer electronic devices. SoCs include one or more microcontroller, memory, programmable logic, and ...
128
Voted
DAGSTUHL
1996
15 years 3 months ago
1996
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalua...
125
click to vote
VSTTE
2010
Springer
15 years 7 days ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...