Sciweavers

1557 search results - page 28 / 312
» Programming up to Congruence
Sort
View
83
Voted
AIPS
2008
15 years 1 months ago
Exact Dynamic Programming for Decentralized POMDPs with Lossless Policy Compression
High dimensionality of belief space in DEC-POMDPs is one of the major causes that makes the optimal joint policy computation intractable. The belief state for a given agent is a p...
Abdeslam Boularias, Brahim Chaib-draa
CC
2006
Springer
176views System Software» more  CC 2006»
15 years 26 days ago
The CGiS Compiler-A Tool Demonstration
The CGiS programming language is designed to open up the parallel performance possibilities of graphics processing units (GPUs) to general purpose programmers. This tool demonstrat...
Philipp Lucas, Nicolas Fritz, Reinhard Wilhelm
124
Voted
TACAS
1998
Springer
131views Algorithms» more  TACAS 1998»
15 years 3 months ago
Detecting Races in Relay Ladder Logic Programs
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
Alexander Aiken, Manuel Fähndrich, Zhendong S...
SIGMETRICS
2011
ACM
161views Hardware» more  SIGMETRICS 2011»
14 years 1 months ago
Modeling program resource demand using inherent program characteristics
The workloads in modern Chip-multiprocessors (CMP) are becoming increasingly diversified, creating different resource demands on hardware substrate. It is necessary to allocate h...
Jian Chen, Lizy Kurian John, Dimitris Kaseridis
69
Voted
ICSM
1998
IEEE
15 years 3 months ago
Two Case Studies in Measuring Software Maintenance Effort
In this paper we present the results of two measurement programs, that were aimed at investigating possible cost drivers for software maintenance. The two measurement programs wer...
Frank Niessink, Hans van Vliet