15253 search results - page 2815 / 3051 » Integer-Programming Software Systems |
93
Voted
SIGADA
1998
Springer
15 years 7 months ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
151
Voted
TACAS
1998
Springer
15 years 7 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
114
click to vote
CHI
1997
ACM
15 years 7 months ago
1997
ACM
d in Extended Abstracts, Human Factors in Computing Systems (CHI conference proceedings), Association for Computing Machinery, 1997, pp. 246-247. Originally appeared as Working Pap...
122
Voted
SIGGRAPH
1997
ACM
15 years 7 months ago
1997
ACM
A probabilistic lighting model is presented for thin coats of fur over skin. Previous methods for rendering furry objects and creatures have addressed the case where individual st...
118
Voted
AGENTS
1997
Springer
15 years 7 months ago
1997
Springer
To facilitate the rapid development and open system interoperability of autonomous agents we need to carefully specify and effectively implement various classes of agent behaviors...