Sciweavers

5465 search results - page 200 / 1093
» Assigning Types to Processes
Sort
View
DCW
2000
Springer
15 years 7 months ago
An Evaluation of Formalisms for Negotiations in E-commerce
The diversity of negotiation types in e-commerce calls for a clear description of the rules that govern them. The participant has to know the rules before engaging in a negotiation...
Morad Benyoucef, Rudolf K. Keller
ISSS
1998
IEEE
73views Hardware» more  ISSS 1998»
15 years 7 months ago
Resource Constrained Modulo Scheduling with Global Resource Sharing
Commonly used scheduling algorithms in high-level synthesis are not capable of sharing resources across process boundaries. This results in the usage of at least one resource per ...
Christoph Jäschke, Rainer Laur
LCTRTS
2010
Springer
15 years 5 months ago
An efficient code update scheme for DSP applications in mobile embedded systems
DSP processors usually provide dedicated address generation units (AGUs) to assist address computation. By carefully allocating variables in the memory, DSP compilers take advanta...
Weijia Li, Youtao Zhang
JLP
2007
89views more  JLP 2007»
15 years 3 months ago
Universality and semicomputability for nondeterministic programming languages over abstract algebras
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...
Wei Jiang, Yuan Wang, Jeffery I. Zucker
CVPR
2009
IEEE
16 years 10 months ago
Physics-based Edge Evaluation for Improved Color Constancy
Edge-based color constancy makes use of image derivatives to estimate the illuminant. However, different edge types exist in real-world images such as shadow, geometry, material...
Arjan Gijsenij (University of Amsterdam), Theo Gev...