571 search results - page 64 / 115 » A principled approach to operating system construction in Ha... |
101
click to vote
HICSS
2006
IEEE
15 years 7 months ago
2006
IEEE
Most markets compromise the economist’s ideal of matching the marginal benefits to consumers with the marginal cost of supply for incremental purchases because individual buyers...
144
click to vote
TLCA
1997
Springer
15 years 5 months ago
1997
Springer
We present new sound and complete axiomatizations of type equality and subtype inequality for a first-order type language with regular recursive types. The rules are motivated by ...
131
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
Although biometrics have garnered significant interest as a source of entropy for cryptographic key generation, recent studies indicate that many biometric modalities may not actu...
108
click to vote
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, ...
159
click to vote
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
We present a Genetic Programming approach to evolve cooperative controllers for teams of UAVs. Our focus is a collaborative search mission in an uncertain and/or hostile environme...