7167 search results - page 1108 / 1434 » A Technique for Invariant Generation |
209
click to vote
ICCS
2001
Springer
16 years 1 days ago
2001
Springer
Achieving peak performance from library subroutines usually requires extensive, machine-dependent tuning by hand. Automatic tuning systems have emerged in response, and they typic...
189
click to vote
OOPSLA
2001
Springer
16 years 22 hour ago
2001
Springer
The Multitasking Virtual Machine (called from now on simply MVM) is a modification of the Java™ virtual machine. It enables safe, secure, and scalable multitasking. Safety is ac...
207
click to vote
RT
2001
Springer
16 years 18 hour ago
2001
Springer
One of the main goals in realistic rendering is to generate images that are indistinguishable from photographs – but how do observers decide whether an image is photographic or c...
221
click to vote
UML
2001
Springer
16 years 15 hour ago
2001
Springer
Today's User Interfaces (UIs) are complex software components, which play an essential role in the usability of an application. The development of UIs requires therefore, not ...
201
click to vote
BMAS
2000
IEEE
16 years 11 hour ago
2000
IEEE
Analog simulators typically use a dynamic, adaptive time step control strategy in order to minimize the calculations performed during inactive portions of a system’s operation, ...