1880 search results - page 272 / 376 » A Static Analysis for Beta-Binders |
145
click to vote
CODES
2001
IEEE
15 years 9 months ago
2001
IEEE
This paper explores an application-specific customization technique for the data cache, one of the foremost area/power consuming and performance determining microarchitectural fea...
166
click to vote
ISCAS
1995
IEEE
15 years 9 months ago
1995
IEEE
— This paper introduces a simple analytical model for estimating standby and switching power dissipation in deep submicron CMOS digital circuits. The model is based on Berkeley S...
214
click to vote
ISSTA
1991
ACM
15 years 9 months ago
1991
ACM
Program slices are useful in debugging. Most work on program slicing to date has concentrated on nding slices of programs involving only scalar variables. Pointers and composite v...
182
click to vote
VL
1991
IEEE
15 years 9 months ago
1991
IEEE
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...
185
click to vote
BNCOD
2007
15 years 7 months ago
2007
The XQuery language is the standard query language for XML. The result of XQuery queries are typically XML documents in other formats. We introduce the term output schemas of an X...