7961 search results - page 166 / 1593 » Input-Output Model Programs |
131
click to vote
CEFP
2005
Springer
15 years 8 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
119
click to vote
FTCS
1998
15 years 4 months ago
1998
Most fault-tolerant systems are designed to stop faulty programs before they write permanent data or communicate with other processes. This property (halt-on-failure) forms the co...
135
click to vote
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
103
Voted
ICS
1995
Tsinghua U.
15 years 6 months ago
1995
Tsinghua U.
Threads provide a useful programming model for asynchronous behavior because of their ability to encapsulate units of work that can then be scheduled for execution at runtime, bas...
170
click to vote
GECCO
2009
Springer
15 years 1 months ago
2009
Springer
We provide an overview of using genetic programming (GP) to model stock returns. Our models employ GP terminals (model decision variables) that are financial factors identified by...