5330 search results - page 386 / 1066 » The Performability Tool P'ility |
183
click to vote
DAC
2002
ACM
16 years 8 months ago
2002
ACM
We propose a false-path-aware statistical timing analysis framework. In our framework, cell as well as interconnect delays are assumed to be correlated random variables. Our tool ...
172
click to vote
ICML
2004
IEEE
16 years 8 months ago
2004
IEEE
We study the problem of modeling species geographic distributions, a critical problem in conservation biology. We propose the use of maximum-entropy techniques for this problem, s...
139
click to vote
CHI
2003
ACM
16 years 8 months ago
2003
ACM
Event-based programming has been studied little, yet recent work suggests that language paradigm can predict programming strategies and performance. A contextual inquiry of four e...
210
click to vote
CADE
2006
Springer
16 years 8 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
167
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
Over the years the software engineering community has increasingly realized the important role software architecture plays in fulfilling the quality requirements of a system. The ...