Sciweavers

96 search results - page 6 / 20
» Model-Based Programming of Fault-Aware Systems
Sort
View
CONSTRAINTS
2004
116views more  CONSTRAINTS 2004»
13 years 7 months ago
Decision Tradeoff Using Example-Critiquing and Constraint Programming
We consider constructive preference elicitation for decision aid systems in applications such as configuration or electronic catalogs. We are particularly interested in supporting ...
Pearl Pu, Boi Faltings
EUC
2006
Springer
13 years 11 months ago
Data-Layout Optimization Using Reuse Distance Distribution
As the ever-increasing gap between the speed of processor and the speed of memory has become the cause of one of primary bottlenecks of computer systems, modern architecture system...
Xiong Fu, Yu Zhang, Yiyun Chen
ICCAD
2007
IEEE
106views Hardware» more  ICCAD 2007»
14 years 4 months ago
A general model for performance optimization of sequential systems
Abstract— Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, differe...
Dmitry Bufistov, Jordi Cortadella, Michael Kishine...
SRDS
1999
IEEE
13 years 11 months ago
An Agent Platform for Reliable Asynchronous Distributed Programming
Production of reliable and flexible distributed applications is a growing area of interest and research. Various middleware technologies are often used as the communication infras...
Luc Bellissard, Noel De Palma, André Freyss...
ENTCS
2008
153views more  ENTCS 2008»
13 years 7 months ago
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
Johan Dovland, Einar Broch Johnsen, Olaf Owe