56 search results - page 9 / 12 » A soft-typing system for Erlang |
198
click to vote
TASE
2011
IEEE
15 years 24 days ago
2011
IEEE
: This paper addresses the dynamic pricing problem of a single-item, make-to-stock production system. Demand arrives according to Poisson processes with changeable arrival rate dep...
146
click to vote
MANSCI
2010
15 years 19 days ago
2010
We study a capacity sizing problem in a service system that is modeled as a single-class queue with multiple servers and where customers may renege while waiting for service. A sa...
155
click to vote
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
Abstract. Region-based memory management scheme has been proposed for the programming language ML. In this scheme, a compiler statically estimates the lifetime of each object by pe...
154
click to vote
ERLANG
2008
ACM
15 years 7 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
163
click to vote
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...