98 search results - page 18 / 20 » An Effect System for Algebraic Effects and Handlers |
108
click to vote
ISORC
2005
IEEE
15 years 4 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
124
click to vote
TIM
2010
14 years 5 months ago
2010
Polynomial chaos theory (PCT) has been proven to be an efficient and effective way to represent and propagate uncertainty through system models and algorithms in general. In partic...
115
click to vote
ICS
2007
Tsinghua U.
15 years 5 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...
118
click to vote
GPCE
2007
Springer
15 years 5 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
104
Voted
CASES
2003
ACM
15 years 4 months ago
2003
ACM
Bank locality can be defined as localizing the number of load/store accesses to a small set of memory banks at a given time. An optimizing compiler can modify a given input code t...