Sciweavers

5624 search results - page 800 / 1125
» On Conditional Covering Problem
Sort
View
136
Voted
ISCAS
2007
IEEE
96views Hardware» more  ISCAS 2007»
15 years 11 months ago
Modeling and Synthesis of Hardware-Software Morphing
— In state of the art hardware-software-co-design flows for FPGA based systems, the hardware-software partitioning problem is solved offline, thus, omitting the great flexibil...
Dirk Koch, Christian Haubelt, Thilo Streichert, J&...
127
Voted
WECWIS
2007
IEEE
148views ECommerce» more  WECWIS 2007»
15 years 11 months ago
The Core and Shapley Value Analysis for Cooperative Formation of Procurement Networks
Formation of high value procurement networks involves a bottom-up assembly of complex production, assembly, and exchange relationships through supplier selection and contracting d...
T. S. Chandrashekar, Y. Narahari
131
Voted
CONCUR
2007
Springer
15 years 10 months ago
On the Expressive Power of Global and Local Priority in Process Calculi
Priority is a frequently used feature of many computational systems. In this paper we study the expressiveness of two process algebras enriched with different priority mechanisms...
Cristian Versari, Nadia Busi, Roberto Gorrieri
CSCLP
2007
Springer
15 years 10 months ago
Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR
Abstract. The union-find algorithm can be seen as solving simple equations between variables or constants. With a few lines of code change, we generalise its implementation in CHR...
Thom W. Frühwirth
121
Voted
EUROCAST
2007
Springer
104views Hardware» more  EUROCAST 2007»
15 years 10 months ago
Entropy-Based Modeling and Simulation of Evolution in Biological Systems
Abstract. We report computer-aided modeling and simulation of evolution in biological systems with living organisms as effect of extremum properties of classical statistical entro...
Stanislaw Sieniutycz