3792 search results - page 399 / 759 » Techniques for Trusted Software Engineering |
177
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
192
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
Although a user’s navigation history contains a lot of hidden information about the relationship between web pages and between users, this information is usually not exploited. ...
177
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
We introduce “fisheye menus” which apply traditional fisheye graphical visualization techniques to linear menus. This provides for an efficient mechanism to select items from ...
168
click to vote
WOSP
2000
ACM
15 years 11 months ago
2000
ACM
We present an analytic technique for modeling load balancing policies on a cluster of servers conditioned on the fact that the service times of arriving tasks are drawn from heavy...
150
click to vote
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes the DELFT-JAVA processor and the mechanisms required to dynamically translate JVM instructions into DELFT-JAVA instructions. Using a form of hardware register...