139 search results - page 16 / 28 » Constraint Prioritization for Efficient Analysis of Declarat... |
143
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
125
click to vote
CHI
1997
ACM
15 years 7 months ago
1997
ACM
—The Amulet user interface development environment makes it easier for programmers to create highly-interactive, graphical user interface software for Unix, Windows and the Macin...
183
Voted
TFM
2009
Springer
15 years 10 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
143
Voted
DAC
2003
ACM
16 years 4 months ago
2003
ACM
A binary decoder is a common component of software development tools such as instruction set simulators, disassemblers and debuggers. The efficiency of the decoder can have a sign...
120
click to vote
WSC
1998
15 years 4 months ago
1998
A method for automatically improving the performance of construction operations was developed by the integration of computer simulation and belief networks. The simulation model i...