Sciweavers

9443 search results - page 430 / 1889
» Web-centric language models
Sort
View
DEXAW
1997
IEEE
125views Database» more  DEXAW 1997»
15 years 11 months ago
Can we Rely on SQL?
It is important for any data language that it enables many people to derive correct information from a databases in a simple, effective way with predictable performance. In an ana...
J. H. ter Bekke
177
Voted
DAC
1994
ACM
15 years 11 months ago
Memory Estimation for High Level Synthesis
Abstract -- This paper describes a new memory estimation technique for DSP applications written in an applicative language. Since no concept of storage is present in an applicative...
Ingrid Verbauwhede, Chris J. Scheers, Jan M. Rabae...
ECOOP
1994
Springer
15 years 11 months ago
Protection in the Guide Object-Oriented Distributed System
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...
Daniel Hagimont
241
Voted
APLAS
2001
ACM
15 years 10 months ago
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
Masahito Hasegawa
TACAS
1995
Springer
94views Algorithms» more  TACAS 1995»
15 years 10 months ago
A User Guide to HyTech
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi