8228 search results - page 1337 / 1646 » Structural Logical Relations |
130
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
118
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
In a paper presented last year at WMPP’01 [Walker01], we described the initial prototype of an associative processor implemented using field-programmable logic devices (FPLDs). ...
161
click to vote
IWCMC
2009
ACM
15 years 8 months ago
2009
ACM
Autoconfiguration of the radio parameters is a key feature for next generation mobile networks. Especially for LTE the NGMN Forum has brought it up as a major requirement. It is ...
136
click to vote
SBCCI
2009
ACM
15 years 8 months ago
2009
ACM
The multiplication of a variable by multiple constants, i.e., the multiple constant multiplications (MCM), has been a central operation and performance bottleneck in many applicat...
154
click to vote
ICEIS
2000
IEEE
15 years 8 months ago
2000
IEEE
Alignment of organisational strategy with Information Systems Strategy (ISS) has become critical as adoption of Information Systems (IS) over the last 50 years has escalated. IS c...