14190 search results - page 2478 / 2838 » Abstractions for hybrid systems |
194
click to vote
EUROCRYPT
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. We consider the problem of sending messages into the future." Previous constructions for this task were either based on heuristic assumptions or did not provide anon...
167
click to vote
FC
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. We present a series of protocols for authenticating an individual’s membership in a group without revealing that individual’s identity and without restricting how the...
201
click to vote
VLSID
1999
IEEE
15 years 12 months ago
1999
IEEE
Abstract Code optimization for digital signal processors DSPs has been identi ed as an important new topic in system-level design of embedded systems. Both DSP processors and algor...
202
click to vote
GCSE
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...
246
click to vote
HIPC
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. Recent times have seen an explosive growth in the availability of various kinds of data. It has resulted in an unprecedented opportunity to develop automated data-driven ...