2067 search results - page 137 / 414 » Logics of propositional control |
113
click to vote
DAC
2008
ACM
16 years 2 months ago
2008
ACM
Clock gating is the insertion of combinational logic along the clock path to prevent the unnecessary switching of registers and reduce dynamic power consumption. The conditions un...
108
click to vote
ICLP
1993
Springer
15 years 6 months ago
1993
Springer
A basic requirement of declarative programming is to free the programmer from the need to manually insert control annotations into the program. Here we study the execution of logi...
114
click to vote
AUTOMATICA
1999
15 years 1 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
116
click to vote
ICDCS
1998
IEEE
15 years 6 months ago
1998
IEEE
Distributed execution of logic programs requires a match of granularity between a program and the distributed multi-processor it runs on to exploit its potential for performance f...
134
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...