15792 search results - page 2979 / 3159 » Computational Abstraction Steps |
92
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
135
Voted
ETFA
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— This article presents some results about schedulability analysis of tasks with offsets also known as transactions, in the particular case of monotonic transactions. The...
112
click to vote
ICAC
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— The scale, reliability, and cost requirements of enterprise data centers require automation of center management. Examples include provisioning, scheduling, capacity pl...
112
click to vote
ICNP
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract—We propose a solution to improve fairness and increase throughput in wireless networks with location information. Our approach consists of a multipath routing protocol, ...
98
Voted
INFOCOM
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— Simulation has been the dominant research methodology in wireless and sensor networking. When mobility is added, real-world experimentation is especially rare. However,...