1350 search results - page 50 / 270 » Reasoning about Staged Computation |
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
In reconfigurable systems, reconfiguration latency is a very important factor impact the system performance. In this paper, a framework is proposed that integrates the temporal pa...
FOSSACS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Finding the optimal selection of an OWL reasoner and service interface for a specific ontology-based application is challenging. Over time it has become more and more di...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
In vivo observation of cells in the Arabidopsis thaliana root, by time-lapse confocal microscopy, is central to biology research. The research herein described is based on large a...
ARITH
1997
IEEE
15 years 2 months ago
1997
IEEE
SRT dividers are common in modern floating point units. Higher division performance is achieved by retiring more quotient bits in each cycle. Previous research has shown that rea...