10241 search results - page 1995 / 2049 » Goal-Driven Software Development |
FPL
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we present a verification platform designed for HyperTransport 3.x (HT3) applications. HyperTransport 3.x is a very low latency and high bandwidth chip-tochip interc...
AGENTS
2001
Springer
14 years 2 months ago
2001
Springer
Matchmaking is the process of mediating demand and supply based on profile information. Matchmaking plays a crucial role in agent-based electronic marketplaces: the problem to be ...
CCO
2001
Springer
14 years 2 months ago
2001
Springer
Branch, cut, and price (BCP) is an LP-based branch and bound technique for solving large-scale discrete optimization problems (DOPs). In BCP, both cuts and variables can be generat...
CIKM
2001
Springer
14 years 2 months ago
2001
Springer
If XML is to play the critical role of the lingua franca for Internet data interchange that many predict, it is necessary to start designing and adopting benchmarks allowing the c...
SIGGRAPH
2010
ACM
14 years 2 months ago
2010
ACM
Although there has been much interest in computational photography
within the research and photography communities, progress
has been hampered by the lack of a portable, programm...