16190 search results - page 432 / 3238 » Applicative programming with effects |
149
Voted
IWMM
2000
Springer
15 years 8 months ago
2000
Springer
We investigate reference counting in the context of a multithreaded architecture by exploiting two observations: (1) reference-counting can be performed by a transformed program s...
139
Voted
WSC
2004
15 years 6 months ago
2004
Recently, simulation-based methods have been successfully used for solving challenging stochastic optimization problems and equilibrium models. Here we report some of the recent p...
132
click to vote
TASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
131
click to vote
AINA
2006
IEEE
15 years 11 months ago
2006
IEEE
Given a client/server application, how can the server entrust the integrity of the remote client, albeit the latter is running on an un-trusted machine? To address this research p...
136
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
— We present a novel hardware mechanism for dynamic program phase detection in distributed sharedmemory (DSM) multiprocessors. We show that successful hardware mechanisms for pha...