2593 search results - page 429 / 519 » constraints 2007 |
189
click to vote
ESA
2007
Springer
16 years 16 days ago
2007
Springer
We consider the real-world problem of extending a given infrastructure network in order to connect new customers. By representing the infrastructure by a single root node, this pro...
140
click to vote
ESOP
2007
Springer
16 years 16 days ago
2007
Springer
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. In a previous work, we hav...
192
click to vote
ESTIMEDIA
2007
Springer
16 years 16 days ago
2007
Springer
Today’s embedded applications often consist of multiple concurrent tasks. These tasks are decomposed into subtasks which are in turn assigned and scheduled on multiple different...
162
click to vote
FCT
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
183
click to vote
FPGA
2007
ACM
16 years 16 days ago
2007
ACM
The application-specific multiprocessor System-on-a-Chip is a promising design alternative because of its high degree of flexibility, short development time, and potentially high ...