4719 search results - page 436 / 944 » Spreadsheet functional programming |
171
click to vote
DIGITEL
2007
IEEE
16 years 26 days ago
2007
IEEE
Distributed Computational Toys are physical artifacts that function based on the coordination of more than one computing device. Often, these toys take the form of a microcontroll...
140
click to vote
HPCA
2007
IEEE
16 years 26 days ago
2007
IEEE
Fault screeners are a new breed of fault identification technique that can probabilistically detect if a transient fault has affected the state of a processor. We demonstrate that...
139
click to vote
TPHOL
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
143
click to vote
CAV
2007
Springer
16 years 21 days ago
2007
Springer
C32SAT is a tool for checking C expressions. It can check whether a given C expression can be satisfied, is tautological, or always defined according to the ISO C99 standard. C32...
142
click to vote
AIIA
2005
Springer
16 years 2 days ago
2005
Springer
Responsive environments are physical surroundings whose components change their behaviour to accommodate the presence of people as well as other components. We describe a means to ...