15416 search results - page 260 / 3084 » Embeddings of Computable Structures |
146
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
180
click to vote
IJES
2006
15 years 5 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
158
click to vote
PAMI
2006
15 years 5 months ago
2006
Multiple-instance problems arise from the situations where training class labels are attached to sets of samples (named bags), instead of individual samples within each bag (called...
165
click to vote
DSD
2010
IEEE
15 years 3 months ago
2010
IEEE
We present a high-level synthesis flow for mapping an algorithm description (in C) to a provably equivalent registertransfer level (RTL) description of hardware. This flow uses an ...
279
click to vote
CCECE
2011
IEEE
14 years 5 months ago
2011
IEEE
Many embedded devices, especially those designed for environmental sensor logging, have extremely limited RAM, often less than several kilobytes. Logged data is stored on flash m...