2635 search results - page 152 / 527 » Computing multihomogeneous resultants using straight-line pr... |
161
Voted
LICS
1993
IEEE
15 years 7 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
132
Voted
PDCAT
2005
Springer
15 years 9 months ago
2005
Springer
View-Oriented Parallel Programming is based on Distributed Shared Memory which is friendly and easy for programmers to use. It requires the programmer to divide shared data into v...
144
Voted
PPAM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
137
click to vote
CF
2009
ACM
15 years 8 months ago
2009
ACM
Decision Support System (DSS) workloads are known to be one of the most time-consuming database workloads that processes large data sets. Traditionally, DSS queries have been acce...
133
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
Interfaces as defined in the JAVA programming language can enhance both decoupling and comprehensibility of large code bases. Several researchers have pointed out this key role of...