1144 search results - page 157 / 229 » Logic programming for combinatorial problems |
153
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
144
click to vote
COMSWARE
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Wireless sensor networks consist of small, inexpensive devices which interact with the environment, communicate with each other, and perform distributed computations in...
112
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
110
Voted
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
Logic programming under the answer-set semantics nowadays deals with numerous different notions of equivalence between programs. This is due to the fact that equivalence for substi...
158
click to vote
FDL
2004
IEEE
15 years 6 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...