1423 search results - page 253 / 285 » Quantum logic as a dynamic logic |
174
click to vote
SIGSOFT
2011
ACM
14 years 6 months ago
2011
ACM
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...
CN
2011
14 years 3 months ago
2011
We provide a design of a control and management plane for data networks using the abstraction of 4D architecture, utilizing and extending 4D’s concept of a logically centralized...
119
click to vote
PPOPP
2011
ACM
14 years 2 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
133
click to vote
ICCD
2008
IEEE
15 years 8 months ago
2008
IEEE
— Embedded processors are required to achieve high performance while running on batteries. Thus, they must exploit all the possible means available to reduce energy consumption w...
104
click to vote
BROADNETS
2007
IEEE
15 years 6 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...