7924 search results - page 993 / 1585 » Non-Malleable Functions and Their Applications |
190
click to vote
ECOOP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
213
click to vote
FASE
2008
Springer
15 years 9 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
226
click to vote
FPGA
2008
ACM
15 years 9 months ago
2008
ACM
The currently accepted method of accelerating applications in FPGA soft processor systems is to design a custom hardware accelerator. This paper suggests the alternative approach ...
218
Voted
FPL
2008
Springer
15 years 9 months ago
2008
Springer
This paper presents a new approach for mapping task graphs to heterogeneous hardware/software computing systems using heuristic search techniques. Two techniques: (1) integration ...
183
Voted
AGI
2008
15 years 8 months ago
2008
: There are several approaches to emotions in AI, most of which are inspired by human emotional states and their arousal mechanisms. These approaches usually use high-level models ...