1809 search results - page 317 / 362 » Software Model Checking Using Linear Constraints |
MICCAI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. A novel method for estimating a field of orientation distribution functions (ODF) from a given set of DW-MR images is presented. We model the ODF by Cartesian tensor basi...
CGO
2005
IEEE
14 years 2 months ago
2005
IEEE
Register allocation is one of the most important optimizations a compiler performs. Conventional graphcoloring based register allocators are fast and do well on regular, RISC-like...
XSYM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We propose a mapping from the Enhanced Entity Relationship conceptual model to the W3C XML Schema Language with the following properties: information and integrity constr...
FTDCS
2003
IEEE
14 years 2 months ago
2003
IEEE
With the increasing prevalence of mobile devices, computing is being carried out on devices with varied resource constraints and is afflicted by constant changes in run-time conte...
WCE
2007
13 years 10 months ago
2007
Abstract—The major infrastructure component required to develop an underground mine is a decline, which is a system of tunnels used for access and haulage. In this paper we study...