Sciweavers

8132 search results - page 214 / 1627
» Dependability, Abstraction, and Programming
Sort
View
DATE
2006
IEEE
106views Hardware» more  DATE 2006»
16 years 20 days ago
Memory centric thread synchronization on platform FPGAs
Concurrent programs are difficult to write, reason about, re-use, and maintain. In particular, for system-level ions that use a shared memory abstraction for thread or process syn...
Chidamber Kulkarni, Gordon J. Brebner
CPAIOR
2006
Springer
15 years 10 months ago
Event-Driven Probabilistic Constraint Programming
Real-life management decisions are usually made in uncertain environments, and decision support systems that ignore this uncertainty are unlikely to provide realistic guidance. We ...
Armagan Tarim, Brahim Hnich, Steven David Prestwic...
EPIA
2001
Springer
15 years 11 months ago
A Procedural Semantics for Multi-adjoint Logic Programming
Abstract. Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connect...
Jesús Medina, Manuel Ojeda-Aciego, Peter Vo...
143
Voted
UM
2001
Springer
15 years 11 months ago
Designing TV Viewer Stereotypes for an Electronic Program Guide
This paper describes how a user modeling knowledge base for personalized TV servers can be generated starting from an analysis of lifestyles surveys. The aim of the research is the...
Cristina Gena
ECOOP
2008
Springer
15 years 8 months ago
Object Roles and Runtime Adaptation in Java
Abstract. Program maintenance usually decreases the programs availability. This is not acceptable for highly available applications. Thus, such applications have to be changed at r...
Mario Pukall