2145 search results - page 396 / 429 » Lax Logical Relations |
189
Voted
ICDE
2008
IEEE
16 years 13 days ago
2008
IEEE
We present a system towards the integration of data mining into relational databases. To this end, a relational database model is proposed, based on the so called virtual mining vi...
DAC
2002
ACM
16 years 1 days ago
2002
ACM
Increasing non-recurring engineering (NRE) and mask costs are making it harder to turn to hardwired Application Specific Integrated Circuit (ASIC) solutions for high performance a...
197
click to vote
POPL
2007
ACM
15 years 11 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
184
click to vote
POPL
2007
ACM
15 years 11 months ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
ICSE
2005
IEEE-ACM
15 years 11 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...