1982 search results - page 299 / 397 » Parametricity and dependent types |
GPC
2009
Springer
15 years 1 months ago
2009
Springer
The emerging Grid is extending the scope of resources to mobile devices and sensors that are connected through unreliable networks. Nowadays the number of mobile device users is in...
WSC
2007
15 years 11 days ago
2007
This paper presents the case that education in the 21st Century can only measure up to national needs if technologies developed in the simulation community, further enhanced by th...
APGV
2008
ACM
15 years 2 days ago
2008
ACM
Most head-mounted displays (HMDs) suffer from substantial optical distortion, and vendor-supplied specifications for field-of-view often are at variance with reality. Such display...
116
click to vote
ASPDAC
2008
ACM
15 years 1 days ago
2008
ACM
In the nanometer manufacturing region, process variation causes significant uncertainty for circuit performance verification. Statistical static timing analysis (SSTA) is thus dev...
101
click to vote
ASPDAC
2008
ACM
15 years 1 days ago
2008
ACM
The quality of the input system model has a direct bearing on the effectiveness of the system exploration and synthesis tools. Given a well-structured system model, tools today are...