1901 search results - page 114 / 381 » Predicting Program Properties from |
113
Voted
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
Recently, energy has become an important issue in highperformance computing. For example, supercomputers that have energy in mind, such as BlueGene/L, have been built; the idea is...
166
click to vote
ESOP
2012
Springer
13 years 10 months ago
2012
Springer
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
115
click to vote
CP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
126
click to vote
CP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This report presents a basic scheme for deriving systematically a filtering algorithm from the graph properties based representation of global constraints. This scheme i...
130
click to vote
ICLP
2004
Springer
15 years 8 months ago
2004
Springer
A protein is identified by a finite sequence of aminoacids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting t...