11716 search results - page 69 / 2344 » Computable symbolic dynamics |
ICS
1995
Tsinghua U.
15 years 3 months ago
1995
Tsinghua U.
In this paper, we present a GSA-based technique that performs more e cient and more precise symbolic analysis of predicated assignments, recurrences and index arrays. The e ciency...
124
click to vote
DMS
2008
15 years 1 months ago
2008
Inputting written Chinese, unlike written English, is a non-trivial operation using a standard keyboard. To accommodate this operation, numerous existing phonetic systems using th...
112
click to vote
IPPS
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper describes how use the Java Swing HTMLEditorKit to perform multi-threaded web data mining on the EDGAR system (Electronic DataGathering, Analysis, and Retrieval system)....
107
click to vote
ICPP
1999
IEEE
15 years 4 months ago
1999
IEEE
Task graph scheduling has been found effective in performance prediction and optimization of parallel applications. A number of static scheduling algorithms have been proposed for...
167
click to vote
ARTS
1999
Springer
15 years 4 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...