1782 search results - page 245 / 357 » Tool Support for Proof Engineering |
120
click to vote
UIST
2003
ACM
15 years 8 months ago
2003
ACM
Recent work is beginning to reveal the potential of numerical optimization as an approach to generating interfaces and displays. Optimization-based approaches can often allow a mi...
125
click to vote
VLDB
1995
ACM
15 years 6 months ago
1995
ACM
The World-Wide Web (WWW) is an ever growing, distributed, non-administered, global information resource. It resides on the worldwide computer network and allows access to heteroge...
109
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
128
click to vote
STTT
2008
15 years 3 months ago
2008
Protos is a popular tool for business process modelling used in more than 1500 organizations. It has a built-in Petri-net-based simulation engine which shows key performance indica...
166
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Consumer electronics today such as cell phones often have one or more low-power FPGAs to assist with energyintensive operations in order to reduce overall energy consumption and i...