4067 search results - page 70 / 814 » Programs for Applying Symmetries |
BIRTHDAY
2004
Springer
14 years 1 months ago
2004
Springer
The development of the programming languages Simula I and Simula 67 is briefly described. An attempt is made also to explain the cultural impact of the languages, in particular t...
ASPDAC
2005
ACM
14 years 1 months ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
MPC
2004
Springer
14 years 1 months ago
2004
Springer
This paper shows how probabilistic reasoning can be applied to the predicative style of programming.
SAC
2006
ACM
14 years 2 months ago
2006
ACM
Denial-of-Service (DoS) attacks are a major concern for modern distributed applications. They exploit weakness in the software in order to make it unavailable to well-behaved user...
EXACT
2008
13 years 10 months ago
2008
This paper describes the problems with debugging tools for answer set programming, a declarative programming paradigm. Current approaches are difficult to use on most applications ...