4370 search results - page 733 / 874 » Algebra of Logic Programming |
153
click to vote
MAM
2007
15 years 3 months ago
2007
This paper describes a new method of executing a software program on an FPGA for embedded systems. Rather than combine reconfigurable logic with a microprocessor core, this method...
132
Voted
ICSE
2011
IEEE-ACM
14 years 7 months ago
2011
IEEE-ACM
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...
126
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Partitioning an application among software running on a microprocessor and hardware co-processors in on-chip configurable logic has been shown to improve performance and energy co...
128
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
134
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
We propose a method of classifying XML documents and extracting XML schema from XML by inductive inference based on constraint logic programming. The goal of this work is to type ...