7118 search results - page 1210 / 1424 » Electrical and Computer Engineering |
135
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
142
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
Basic retiming is an algorithm originally developed for hardware optimization. Software pipelining is a technique proposed to increase instruction-level parallelism for parallel p...
118
click to vote
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...
112
click to vote
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...
142
click to vote
FSTTCS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract Abstract. In this paper we improve the analysis of approximation algorithms based on semidefinite programming for the maximum graph partitioning problems MAX-k-CUT, MAX-k...