959 search results - page 177 / 192 » Transfers between Logics and their Applications |
155
Voted
SIGMETRICS
2008
ACM
15 years 1 months ago
2008
ACM
Memory trace analysis is an important technology for architecture research, system software (i.e., OS, compiler) optimization, and application performance improvements. Many appro...
195
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
The SLG-WAM of XSB Prolog soundly implements the Well-Founded Semantics (WFS) for logic programs, but in a few pathological cases its engine treats atoms as undefined that are true...
129
Voted
CIE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The input to a constraint satisfaction problem (CSP) consists of a set of variables, each with a domain, and constraints between these variables formulated by relations o...
133
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
120
Voted
FPGA
2001
ACM
15 years 6 months ago
2001
ACM
A prototype platform has been developed that allows processing of packets at the edge of a multi-gigabit-per-second network switch. This system, the Field Programmable Port Extend...