7890 search results - page 477 / 1578 » The MathSAT 3 System |
167
click to vote
SIGCOMM
1996
ACM
15 years 11 months ago
1996
ACM
Fast and flexible message demultiplexing are well-established goals in the networking community [1, 18, 22]. Currently, however, network architects have had to sacrifice one for t...
158
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
We describe ASTRX/OBLX, a synthesis system that can size high-performance analog circuit topologies to meet usersupplied linear performance specifications without designer-supplied...
201
click to vote
LICS
1990
IEEE
15 years 11 months ago
1990
IEEE
Reasoning about permissions and obligations sometimes requires to distinguish more than one level of permission: certain actions are preferable to others, or one has more confiden...
206
click to vote
CSEE
2006
Springer
15 years 10 months ago
2006
Springer
The development of games in aid of improving and enriching a student's learning experience is again on the rise. The beer game [6] in the field of system dynamics was develop...
166
click to vote
EPS
1995
Springer
15 years 10 months ago
1995
Springer
Systems of selection and variation by recombination and/or mutation can be used to evolve images for computer graphics and animation. Interactive evolution can be used to direct t...