6155 search results - page 1165 / 1231 » A language for multiple models of computation |
ICS
2010
Tsinghua U.
15 years 2 months ago
2010
Tsinghua U.
We explore the intersection between an emerging class of architectures and a prominent workload: GPGPUs (General-Purpose Graphics Processing Units) and regular expression matching...
104
click to vote
ICECCS
1999
IEEE
15 years 2 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
ICMCS
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper, a technique is presented for CT image analysis and visualization of the bronchial airways. The technique provides a non-invasive way to examine the interior of the ...
ICDT
1997
ACM
15 years 1 months ago
1997
ACM
Abstract Method invocation mechanism is one of the essential features in objectoriented programming languages. This mechanism contributes to data encapsulation and code reuse, but ...
102
click to vote
GIS
1992
ACM
15 years 1 months ago
1992
ACM
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...