139 search results - page 16 / 28 » Constraint Prioritization for Efficient Analysis of Declarat... |
CAV
2009
Springer
16 years 7 days 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 ...
CHI
1997
ACM
15 years 3 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...
129
click to vote
TFM
2009
Springer
15 years 6 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...
DAC
2003
ACM
16 years 19 days 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...
WSC
1998
15 years 1 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...