7092 search results - page 1266 / 1419 » Parallelizing constraint programs |
134
click to vote
INFOCOM
2010
IEEE
15 years 2 days ago
2010
IEEE
Long-distance multi-hop wireless networks have been used in recent years to provide connectivity to rural areas. The salient features of such networks include TDMA channel access, ...
115
click to vote
TACAS
2010
Springer
15 years 1 days ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
135
Voted
ICOODB
2009
14 years 12 months ago
2009
This paper presents algorithms that make it possible to process XML data that conforms to XML Schema (XSD) in a mainstream object-oriented programming language. These algorithms a...
108
Voted
CCE
2010
14 years 11 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...
138
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
The structural properties of graphs are usually characterized in terms of invariants, which are functions of graphs that do not depend on the labeling of the nodes. In this paper ...