58 search results - page 5 / 12 » PDA: A Tool for Automated Problem Determination |
85
Voted
LPAR
2010
Springer
14 years 7 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
83
Voted
DEBU
2002
14 years 9 months ago
2002
We present a modular breakdown of data integration tasks and the results of a survey on the distribution of effort among those tasks. The modularization aids in project planning a...
DAC
2007
ACM
15 years 1 months ago
2007
ACM
Microfluidic biochips are revolutionizing many areas of biochemistry and biomedical sciences. Several synthesis tools have recently been proposed for the automated design of bioch...
PATAT
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Automated timetabling is a research domain that has occupied many researchers over the last 50 years. Several algorithms have proven to be applicable to timetabling but t...
87
Voted
ICCBR
2005
Springer
15 years 2 months ago
2005
Springer
Small to medium enterprises require an internal control mechanism in order to monitor their modus operandi and to analyse whether they are achieving their goals. A tool for the dec...