2019 search results - page 332 / 404 » Programming with Shared Data Abstractions |
64
Voted
CACM
2005
15 years 2 months ago
2005
een program and data, abstraction, recursion, tractability, virtualization, and fault tolerance are among its basic principles. No one would dispute that the very idea of computing...
113
Voted
TEC
2002
15 years 2 months ago
2002
Abstract--This paper considers the discovery of trading decision models from high-frequency foreign exchange (FX) markets data using genetic programming (GP). It presents a domain-...
156
Voted
ICANN
2009
Springer
15 years 16 days ago
2009
Springer
Abstract. This paper studies a risk minimization approach to estimate a transformation model from noisy observations. It is argued that transformation models are a natural candidat...
147
Voted
POPL
2010
ACM
16 years 5 days ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
130
Voted
CGO
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Multicore systems have not only become ubiquitous in the desktop and server worlds, but are also becoming the standard in the embedded space. Multicore offers programabi...