536 search results - page 31 / 108 » A computer verified, monadic, functional implementation of t... |
147
click to vote
SIGSOFT
2009
ACM
16 years 6 months ago
2009
ACM
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
158
click to vote
JAIR
2008
15 years 6 months ago
2008
In the efficient social choice problem, the goal is to assign values, subject to side constraints, to a set of variables to maximize the total utility across a population of agent...
184
click to vote
NIPS
1992
15 years 7 months ago
1992
Several research groups are implementing analog integrated circuit models of biological auditory processing. The outputs of these circuit models have taken several forms, includin...
254
click to vote
LCN
1998
IEEE
15 years 10 months ago
1998
IEEE
Current communication subsystem mechanisms within workstation and PC class computers are limiting network communications throughput to a small percentage of the present network da...
163
click to vote
PDP
2006
IEEE
16 years 1 days ago
2006
IEEE
— The Parallel Resource-Optimal (PRO) computation model was introduced by Gebremedhin et al. [2002] as a framework for the design and analysis of efficient parallel algorithms. ...