598 search results - page 45 / 120 » Typing the Numeric Tower |
POPL
2007
ACM
14 years 9 months ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
VMCAI
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
CHI
2004
ACM
14 years 9 months ago
2004
ACM
We report on a diary study of the activities of information workers aimed at characterizing how people interleave multiple tasks amidst interruptions. The week-long study revealed...
FGR
2008
IEEE
14 years 3 months ago
2008
IEEE
How do we identify images of the same person in photo albums? How can we find images of a particular celebrity using web image search engines? These types of tasks require solvin...
GLOBECOM
2008
IEEE
14 years 3 months ago
2008
IEEE
—Game theory has been a useful tool for the analysis of random-access based wireless networks due to their decentralized operations. This paper studies one of the most widely use...