7195 search results - page 1369 / 1439 » On Computing Power |
154
click to vote
VLSID
2004
IEEE
16 years 3 months ago
2004
IEEE
As chip complexity grows, design productivity boost is expected from reuse of large parts and blocks of previous designs with the design effort largely invested into the new parts...
128
click to vote
VLSID
2001
IEEE
16 years 3 months ago
2001
IEEE
Since battery life directly impacts the extent and duration of mobility, one of the key considerations in the design of a mobile embedded system should be to maximize the energy d...
229
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
227
click to vote
VLDB
2003
ACM
16 years 3 months ago
2003
ACM
Due to their expressive power, Regular Expressions (REs) are quickly becoming an integral part of language specifications for several important application scenarios. Many of thes...
229
Voted
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
An approximate search query on a collection of strings finds those strings in the collection that are similar to a given query string, where similarity is defined using a given si...