469 search results - page 20 / 94 » Putting curry-howard to work |
WETICE
2003
IEEE
14 years 24 days ago
2003
IEEE
We try to analyze a generic model for 2-tier distributed systems, exploring the possibility of optimal cluster sizes from an information management perspective, such that the over...
IFIP
2003
Springer
14 years 22 days ago
2003
Springer
Whilst much effort has been put into the creation of routing algorithms to handle all sorts of mobility scenarios in ad-hoc networks, other fundamental issues, such as the addresse...
CSCW
2000
ACM
13 years 12 months ago
2000
ACM
Companies are experimenting with putting teams into warrooms, hoping for some productivity enhancement. We conducted a field study of six such teams, tracking their activity, atti...
TON
2010
13 years 2 months ago
2010
Distributed opportunistic scheduling (DOS) is studied for wireless ad-hoc networks in which many links contend for the channel using random access before data transmissions. Simpl...
HPCA
2011
IEEE
12 years 11 months ago
2011
IEEE
Over the last twenty years the interfaces for accessing persistent storage within a computer system have remained essentially unchanged. Simply put, seek, read and write have de�...