5838 search results - page 526 / 1168 » A File System for System Programming in Ubiquitous Computing |
205
click to vote
CHI
2007
ACM
15 years 11 months ago
2007
ACM
There is a tremendous amount of web content available today, but it is not always in a form that supports end-users' needs. In many cases, all of the data and services needed...
204
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...
215
Voted
MICRO
2006
IEEE
16 years 27 days ago
2006
IEEE
Computer security is severely threatened by software vulnerabilities. Prior work shows that information flow tracking (also referred to as taint analysis) is a promising techniqu...
203
click to vote
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
288
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Miss rate curves (MRCs) are useful in a number of contexts. In our research, online L2 cache MRCs enable us to dynamically identify optimal cache sizes when cache-partitioning a s...