873 search results - page 113 / 175 » Effective Use of Organisational Abstractions for Confidence ... |
167
click to vote
TVLSI
1998
15 years 5 months ago
1998
Abstract—We introduce a technique for on-line built-in selftesting (BIST) of bus-based field programmable gate arrays (FPGA’s). This system detects deviations from the intende...
161
click to vote
HICSS
2007
IEEE
16 years 15 days ago
2007
IEEE
Abstract— UrbanSim is a large scale land use and transportation simulator that models the possible long-term effects of different policies on urban regions. The output is present...
286
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
Abstract-- In recent years, uncertain data management applications have grown in importance because of the large number of hardware applications which measure data approximately. F...
174
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
172
click to vote
ICDT
2001
ACM
15 years 10 months ago
2001
ACM
Abstract. Nearest-neighbor queries in high-dimensional space are of high importance in various applications, especially in content-based indexing of multimedia data. For an optimiz...