1768 search results - page 208 / 354 » A Logic for Algebraic Effects |
212
click to vote
VLSID
2006
IEEE
16 years 7 months ago
2006
IEEE
With device size shrinking and fast rising frequency ranges, effect of cosmic radiations and alpha particles known as Single-Event-Upset (SEU), Single-Eventtransients (SET), is a ...
281
click to vote
VLDB
2005
ACM
16 years 7 months ago
2005
ACM
The traditional model of bench (wet) chemistry in many life sciences domain is today actively complimented by computer-based discoveries utilizing the growing number of online data...
247
click to vote
ICS
2007
Tsinghua U.
16 years 1 months ago
2007
Tsinghua U.
Strassen’s matrix multiplication (MM) has benefits with respect to any (highly tuned) implementations of MM because Strassen’s reduces the total number of operations. Strasse...
200
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
Nowadays it is widely accepted to formulate the security of a protocol carrying out a given task via the "trusted-party paradigm," where the protocol execution is compar...
194
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
Information agents are computational software systems that provides transparent access to many different information sources in the Internet, and to be able to retrieve, analyze, ...