590 search results - page 46 / 118 » Some Aspects of Computable Functional Analysis |
160
click to vote
ICLP
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
122
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
A control part ? data path partition based sequential circuit verification scheme aimed at avoiding state explosion comprises two major modules namely, a data path verifier and a ...
148
click to vote
AGP
1997
IEEE
15 years 10 months ago
1997
IEEE
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
182
click to vote
IBPRIA
2005
Springer
15 years 11 months ago
2005
Springer
Computer Vision can provide a great deal of assistance to Intelligent Vehicles. In this paper an Advanced Driver Assistance Systems for Vehicle Detection is presented. A geometric ...
167
click to vote
ICC
2007
IEEE
16 years 14 days ago
2007
IEEE
—The sampling expansion approach for computing the performance of TR UWB systems has restricted validity and is very inaccurate in some cases. A new analytical method to evaluate...