4067 search results - page 70 / 814 » Programs for Applying Symmetries |
114
click to vote
BIRTHDAY
2004
Springer
15 years 9 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...
139
click to vote
ASPDAC
2005
ACM
15 years 10 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...
116
click to vote
MPC
2004
Springer
15 years 9 months ago
2004
Springer
This paper shows how probabilistic reasoning can be applied to the predicative style of programming.
117
Voted
SAC
2006
ACM
15 years 10 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...
130
click to vote
EXACT
2008
15 years 6 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 ...