Sciweavers

7890 search results - page 477 / 1578
» The MathSAT 3 System
Sort
View
SIGCOMM
1996
ACM
15 years 11 months ago
DPF: Fast, Flexible Message Demultiplexing Using Dynamic Code Generation
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...
Dawson R. Engler, M. Frans Kaashoek
DAC
1994
ACM
15 years 11 months ago
ASTRX/OBLX: Tools for Rapid Synthesis of High-Performance Analog Circuits
We describe ASTRX/OBLX, a synthesis system that can size high-performance analog circuit topologies to meet usersupplied linear performance specifications without designer-supplied...
Emil S. Ochotta, Rob A. Rutenbar, L. Richard Carle...
LICS
1990
IEEE
15 years 11 months ago
The Dynamic Logic of Permission
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...
Ron van der Meyden
CSEE
2006
Springer
15 years 10 months ago
SimVBSE: Developing a Game for Value-Based Software Engineering
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...
Apurva Jain, Barry W. Boehm
EPS
1995
Springer
15 years 10 months ago
Interactive Evolution of Images
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...
Jeanine Graf, Wolfgang Banzhaf