994 search results - page 150 / 199 » Custom Computing Machines for the Set Covering Problem |
102
Voted
PDP
2005
IEEE
15 years 6 months ago
2005
IEEE
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
80
Voted
ACMDIS
2000
ACM
15 years 4 months ago
2000
ACM
We may view documents, not only as “containers” for information, but also as active participants in organizing and sustaining communities. This paper discusses our experiences...
ASM
2008
ASM
15 years 2 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
119
click to vote
DAIS
2010
15 years 1 months ago
2010
The growing needs in computational power to answer to the increasing number of on-line services and the complexity of applications makes it mandatory to build corresponding hardwar...
98
Voted
OSDI
2006
ACM
16 years 23 days ago
2006
ACM
Mismanagement of the persistent state of a system--all the executable files, configuration settings and other data that govern how a system functions--causes reliability problems,...