2482 search results - page 250 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
144
Voted
ICDT
2012
ACM
13 years 5 months ago
2012
ACM
In a recent paper by Hellerstein [15], a tight relationship was conjectured between the number of strata of a Datalog¬ program and the number of “coordination stages” require...
123
Voted
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Power densities have been increasing rapidly at all levels of server systems. To counter the high temperatures resulting from these densities, systems researchers have recently st...
134
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
132
Voted
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
DRAM is facing severe scalability challenges in sub-45nm technology nodes due to precise charge placement and sensing hurdles in deep-submicron geometries. Resistive memories, suc...
124
Voted
ICAS
2009
IEEE
15 years 9 months ago
2009
IEEE
In open systems where the components, i.e. the agents and the resources, may be unknown at design time, or in dynamic and self-organizing systems evolving with time, there is a ne...