Sciweavers

1729 search results - page 114 / 346
» Deterministic Expressions in C
Sort
View
SIGMOD
2003
ACM
140views Database» more  SIGMOD 2003»
16 years 4 months ago
A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding
The W3C XQuery language recommendation, based on a hierarchical and ordered document model, supports a wide variety of constructs and use cases. There is a diversity of approaches...
David DeHaan, David Toman, Mariano P. Consens, M. ...
SAS
2004
Springer
140views Formal Methods» more  SAS 2004»
15 years 10 months ago
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
Sumit Gulwani, George C. Necula
CGF
1998
121views more  CGF 1998»
15 years 4 months ago
Emotion Editing using Finite Elements
This paper describes the prototype of a facial expression editor. In contrast to existing systems the presented editor takes advantage of both medical data for the simulation and ...
Rolf M. Koch, Markus H. Gross, Albert Bosshard
DBPL
2005
Springer
135views Database» more  DBPL 2005»
15 years 10 months ago
Type-Based Optimization for Regular Patterns
Pattern matching mechanisms based on regular expressions feature in a number of recent languages for processing XML. The flexibility of these mechanisms demands novel approaches ...
Michael Y. Levin, Benjamin C. Pierce
ICCAD
1999
IEEE
76views Hardware» more  ICCAD 1999»
15 years 9 months ago
Optimal allocation of carry-save-adders in arithmetic optimization
: Carry-save-adder(CSA) is one of the most widely used schemes for fast arithmetic in industry. This paper provides a solution to the problem of finding an optimal-timing allocatio...
Junhyung Um, Taewhan Kim, C. L. Liu