3708 search results - page 311 / 742 » Programming with C Exceptions |
167
click to vote
COCO
2007
Springer
16 years 25 days ago
2007
Springer
We study semidefinite programming relaxations of Vertex Cover arising from repeated applications of the LS+ “lift-and-project” method of Lovasz and Schrijver starting from th...
170
click to vote
PADL
2007
Springer
16 years 24 days ago
2007
Springer
Abstract The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict a...
164
click to vote
SCAM
2005
IEEE
16 years 7 days ago
2005
IEEE
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...
169
click to vote
CP
2005
Springer
16 years 6 days ago
2005
Springer
This paper describes an efficient, complete approach for solving a complex allocation and scheduling problem for Multi-Processor System-on-Chip (MPSoC). Given a throughput constra...
147
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Previously it has been shown that the process of programming a cardiac pacemaker can be described in terms of the theory of diagnosis. A set-theoretical framework of diag...