10707 search results - page 1982 / 2142 » Designing executable abstractions |
158
click to vote
TSP
2010
15 years 1 months ago
2010
Abstract--The concept of cognitive radio (CR) has recently received great attention from the research community as a promising paradigm to achieve efficient use of the frequency re...
188
Voted
TVLSI
2010
15 years 1 months ago
2010
Abstract--Higher circuit densities in system-on-chip (SOC) designs have led to drastic increase in test data volume. Larger test data size demands not only higher memory requiremen...
240
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Usernames are ubiquitously used for identification and authentication purposes on web services and the Internet at large, ranging from the local-part of email addresses ...
202
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
196
click to vote
CSMR
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—Developers introduce novel and undocumented micro-architectures when performing evolution tasks on object-oriented applications. We are interested in understanding wheth...