3116 search results - page 520 / 624 » Positively dependent types |
155
Voted
CASES
2003
ACM
15 years 10 months ago
2003
ACM
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the po...
172
click to vote
SMA
1999
ACM
15 years 9 months ago
1999
ACM
Subdivision surfaces have been extensively used to model smooth shapes of arbitrary topology. Recursive subdivision on an userdefined initial control mesh generates a visually pl...
132
click to vote
VLDB
1994
ACM
15 years 9 months ago
1994
ACM
Many proposed protocols for replicated databases consider centralized control of each transaction so that given a transaction, some site will monitor the remote data access and tr...
138
click to vote
GLVLSI
2007
IEEE
15 years 9 months ago
2007
IEEE
Reliability modeling and evaluation is expected to be one of the major issues in emerging nano-devices and beyond 22nm CMOS. Such devices would have inherent propensity for gate f...
205
click to vote
FOCS
2004
IEEE
15 years 9 months ago
2004
IEEE
We prove the existence of tolls to induce multicommodity, heterogeneous network users that independently choose routes minimizing their own linear function of tolls versus latency...