7576 search results - page 187 / 1516 » UNIX as an Application Program |
147
click to vote
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...
138
click to vote
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...
129
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...
130
Voted
AINA
2006
IEEE
15 years 10 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...
130
Voted
IPPS
2006
IEEE
15 years 10 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...