98 search results - page 16 / 20 » An Effect System for Algebraic Effects and Handlers |
105
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Contemporary use of the term ’intension’ derives from the traditional logical doctrine that an idea has both an extension and an intension. In this paper we introduce an intens...
193
click to vote
ICDE
2006
IEEE
16 years 12 days ago
2006
IEEE
The ongoing revolution in life sciences research is producing vast amounts of genetic and proteomic sequence data. Scientists want to pose increasingly complex queries on this dat...
DAC
2004
ACM
16 years 17 hour ago
2004
ACM
Capacitance extraction is an important problem that has been extensively studied. This paper presents a significant improvement for the fast multipole accelerated boundary element...
ACSC
2005
IEEE
15 years 4 months ago
2005
IEEE
We present a simple approach for implementing flexible locking strategies in a system of components, which may themselves be composite objects. The approach is flexible in that a ...
UML
2001
Springer
15 years 3 months ago
2001
Springer
UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by dat...