6355 search results - page 1222 / 1271 » From Logic to Games |
177
click to vote
ISCA
2007
IEEE
16 years 18 days ago
2007
IEEE
The negative performance impact of branch mis-predictions can be reduced by exploiting control independence (CI). When a branch mis-predicts, the wrong-path instructions up to the...
180
click to vote
KBSE
2007
IEEE
16 years 18 days ago
2007
IEEE
Achieving high structural coverage such as branch coverage in objectoriented programs is an important and yet challenging goal due to two main challenges. First, some branches inv...
178
click to vote
PDP
2007
IEEE
16 years 17 days ago
2007
IEEE
Universal Plug and Play (UPnP) is a widely accepted standard for automatically detecting devices and services in a local area network as well as for describing and controlling the...
167
click to vote
NCA
2007
IEEE
16 years 15 days ago
2007
IEEE
Our research addresses two important problems that arise in modern large-scale distributed systems: (1) the necessity to virtualize their data flows by applying actions such as ï...
215
click to vote
CSL
2007
Springer
16 years 14 days ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...