2212 search results - page 193 / 443 » Automated software wrapping |
146
click to vote
VEE
2012
ACM
14 years 4 days ago
2012
ACM
Dynamic Binary Translators (DBT) and Dynamic Binary Optimization (DBO) by software are used widely for several reasons including performance, design simplification and virtualiza...
136
Voted
EPEW
2009
Springer
15 years 11 months ago
2009
Springer
We develop models of automated E-commerce techniques, which predict the economic outcomes of these decision mechanisms, including the price attained by a good and the resulting inc...
130
click to vote
EMISA
2005
Springer
15 years 10 months ago
2005
Springer
: Most of today’s e-marketplaces support a single negotiation protocol. The protocol is usually built into the e-marketplace infrastructure, therefore if a new one is introduced ...
117
click to vote
TPHOL
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...
140
Voted
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper explores the feasibility of re-expressing concurrent algorithms with explicit locks in terms of lock free code written using Haskell's implementation of s...