3378 search results - page 162 / 676 » A universe of binding and computation |
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
INTERACTIONS
1998
14 years 9 months ago
1998
This article summarizes the historical development of major advances in humancomputer interaction technology, emphasizing the pivotal role of university research in the advancemen...
PPDP
2007
Springer
15 years 4 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
134
click to vote
TCBB
2011
14 years 5 months ago
2011
—Constructing accurate computational models that explain how ions permeate through a biological ion channel is an important problem in biophysics and drug design. Brownian dynami...
EH
2005
IEEE
15 years 3 months ago
2005
IEEE
After a reminder about embryonic machines endowed with universal construction and universal computation properties, this paper presents a novel architecture providing additional s...