14190 search results - page 210 / 2838 » computer 2008 |
128
Voted
TOPLAS
2008
15 years 4 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
119
click to vote
ENTCS
2008
15 years 5 months ago
2008
abstraction and quantum computation Alessandra Di Pierro1 Dipartimento di Informatica University of Pisa Pisa, Italy Herbert Wiklicky2 Department of Computing Imperial College Lond...
140
click to vote
PPL
2008
15 years 4 months ago
2008
The aim of this work is to introduce a computational costs system associated to a semantic framework for orthogonal data and control parallelism handling. In such a framework a pa...
141
click to vote
ENTCS
2008
15 years 5 months ago
2008
Engineering natural and appropriate interactive behaviour in ubiquitous computing systems presents new challenges to their developers. This paper explores formal models of interac...
136
Voted
TITB
2002
15 years 4 months ago
2002
This paper presents a computational model for studying the mechanical properties of skin with aging. In particular, attention is given to the folding capacity of skin, which may b...