7121 search results - page 1328 / 1425 » Modeling Signs Using Functional Data Analysis |
150
click to vote
CAV
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
128
click to vote
VISUALIZATION
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper describes the work of a team of researchers in computer graphics, geometric computing, and civil engineering to produce a visualization of the September 2001 attack on ...
162
click to vote
DAC
2006
ACM
16 years 2 months ago
2006
ACM
Modern integrated circuits (ICs) are becoming increasingly complex. The complexity makes it difficult to design, manufacture and integrate these high-performance ICs. The advent o...
123
click to vote
ACMICEC
2005
ACM
15 years 7 months ago
2005
ACM
This paper presents the model of e-market structure and process analysis of tourism e-commerce. First the tourism e-commerce status quo is given clearly; secondly e-commerce and i...
134
click to vote
IPPS
2005
IEEE
15 years 7 months ago
2005
IEEE
The problem of writing high performance parallel applications becomes even more challenging when irregular, sparse or adaptive methods are employed. In this paper we introduce com...