2984 search results - page 384 / 597 » Method engineering process patterns |
156
click to vote
ICFEM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
108
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
In many Web search applications, similarities between objects of one type (say, queries) can be affected by the similarities between their interrelated objects of another type (sa...
100
click to vote
ICS
2009
Tsinghua U.
15 years 8 months ago
2009
Tsinghua U.
General purpose programming on the graphics processing units (GPGPU) has received a lot of attention in the parallel computing community as it promises to offer the highest perfo...
150
click to vote
ICIW
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we present an extension of PHIL, a declarative language for filtering information from XML data. The proposed approach allows us to extract relevant data as well a...
113
click to vote
ICMCS
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a case study of developing a digital media indexing application, code-named MARVEL, on the STI Cell Broadband Engine (CBE) processor. There are two aspects of the targe...