535 search results - page 74 / 107 » Do we need dependent types |
GLOBECOM
2007
IEEE
14 years 2 months ago
2007
IEEE
— With the advent of MPLS, the restoration times of communications is decreased down to 50 ms by the use of preconfigured backup LSPs. To ensure there are enough resources after ...
CHI
2004
ACM
14 years 1 months ago
2004
ACM
With the evolving functionality in television-based (TVbased) information and entertainment appliances, there is an increased need to enable users input text through remote contro...
OOPSLA
2001
Springer
14 years 2 days ago
2001
Springer
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
We present a hardware-based approach to improve the resilience of a computer system against the errors occurred in the main memory with the help of error detecting and correcting ...
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
—The IEEE 802.15.3 has introduced a type of time division multiple access (TDMA) which allocates the variable length of timeslot within a constant time interval. However, it need...