1528 search results - page 141 / 306 » Implementing Generalized Operator Overloading |
149
click to vote
ICFP
2012
ACM
13 years 4 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
139
click to vote
HEURISTICS
2000
15 years 2 months ago
2000
Planning and designing the next generation of IP router or switched broadband networks seems a daunting challenge considering the many complex, interacting factors affecting the p...
104
Voted
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Browsers’ isolation mechanisms are critical to users’ safety and privacy on the web. Achieving proper isolations, however, is very difficult. Historical data show that even fo...
138
click to vote
WISEC
2009
ACM
15 years 9 months ago
2009
ACM
In wireless sensor networks, it is critical to restrict the network access only to eligible sensor nodes, while messages from outsiders will not be forwarded in the networks. In t...
121
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
As Si CMOS devices are scaled down into the nanoscale regime, current computer architecture approaches are reaching their practical limits. Future nano-architectures will confront...