Sciweavers

520 search results - page 104 / 104
» Operator Calculus Approach to Solving Analytic Systems
Sort
View
HPCA
2006
IEEE
14 years 6 months ago
Completely verifying memory consistency of test program executions
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
Chaiyasit Manovit, Sudheendra Hangal
SIGMOD
2009
ACM
120views Database» more  SIGMOD 2009»
14 years 6 months ago
Kernel-based skyline cardinality estimation
The skyline of a d-dimensional dataset consists of all points not dominated by others. The incorporation of the skyline operator into practical database systems necessitates an ef...
Zhenjie Zhang, Yin Yang, Ruichu Cai, Dimitris Papa...
AMI
2010
Springer
13 years 4 months ago
Reduction of Driver Stress Using AmI Technology while Driving in Motorway Merging Sections
Abstract. High average intensity of traffic and problems like traffic congestions, road safety, etc. are challenging problems striking highway operators in these days. With the bro...
Kashif Zia, Andreas Riener, Alois Ferscha
AIPS
2004
13 years 7 months ago
Optimal Resource Allocation and Policy Formulation in Loosely-Coupled Markov Decision Processes
The problem of optimal policy formulation for teams of resource-limited agents in stochastic environments is composed of two strongly-coupled subproblems: a resource allocation pr...
Dmitri A. Dolgov, Edmund H. Durfee
COMPUTER
1999
69views more  COMPUTER 1999»
13 years 5 months ago
Scientific Components Are Coming
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
Paul F. Dubois