2976 search results - page 198 / 596 » On the bounded integer programming |
182
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...
153
click to vote
PADL
2007
Springer
16 years 18 days ago
2007
Springer
We describe a preliminary implementation of the high-level modelling language Zinc. This language supports a modelling methodology in which the same Zinc model can be automatically...
165
click to vote
CP
2005
Springer
16 years 4 hour 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...
152
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
197
click to vote
MICS
2008
15 years 5 months ago
2008
We present an approach to studying the community structures of networks by using linear programming (LP). Starting with a network in terms of (a) a collection of nodes and (b) a co...