12981 search results - page 2460 / 2597 » Model Checking (Abstract) |
164
Voted
ETFA
2006
IEEE
15 years 9 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...
142
Voted
FCCM
2006
IEEE
15 years 9 months ago
2006
IEEE
It has been shown that a small number of FPGAs can significantly accelerate certain computing tasks by up to two or three orders of magnitude. However, particularly intensive lar...
116
Voted
GMP
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract. The need for robust solutions for sets of non-linear multivariate constraints or equations needs no motivation. Subdivision-based multivariate constraint solvers [1–3] ...
128
Voted
ICNP
2006
IEEE
15 years 9 months ago
2006
IEEE
— Energy efficiency is widely understood to be one of the dominant considerations for Wireless Sensor Networks. Based on historical data and technology trends, the receiver ener...
106
Voted
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Fueled by the competing DSL and Cable technologies, residential broadband access has seen a significant spread in availability to the point that many users have a choi...