549 search results - page 102 / 110 » Constraint Programming in Structural Bioinformatics |
116
Voted
IEEECIT
2010
IEEE
14 years 10 months ago
2010
IEEE
—Superblocks represent regions in a program code that consist of multiple basic blocks. Compilers benefit from this structure since it enables optimization across block boundari...
95
Voted
CCE
2010
14 years 9 months ago
2010
This paper presents an approach for combined mass and energy integration in process synthesis and illustrates it at the thermochemical production of crude synthetic natural gas (S...
125
Voted
TII
2010
14 years 7 months ago
2010
Abstract--Real-time systems are subject to temporal constraints and require a schedulability analysis to ensure that task execution finishes within lower and upper specified bounds...
132
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...
104
click to vote
CC
2009
Springer
15 years 5 months ago
2009
Springer
Single-assignment languages with copy semantics have a very simple and approachable programming model. A na¨ıve implementation of the copy semantics that copies the result of eve...