1010 search results - page 185 / 202 » Logics for Contravariant Simulations |
126
click to vote
BROADNETS
2007
IEEE
15 years 8 months ago
2007
IEEE
— Network dimensioning for wavelength-routed WDM networks has been extensively studied to maximize connection acceptance rate while minimizing the total cost. However, Internet s...
119
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— Modern cities are becoming increasingly networked Network Operator and the Service Providers can introduce environments and a plethora of computing equipment interacts their ow...
107
click to vote
HASKELL
2006
ACM
15 years 8 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
111
click to vote
ISLPED
2006
ACM
15 years 8 months ago
2006
ACM
Process variations will increasingly impact the operational characteristics of integrated circuits in nanoscale semiconductor technologies. Researchers have proposed various desig...
141
click to vote
ANCS
2005
ACM
15 years 7 months ago
2005
ACM
Hash tables provide efficient table implementations, achieving O(1), query, insert and delete operations at low loads. However, at moderate or high loads collisions are quite freq...