1880 search results - page 271 / 376 » A Static Analysis for Beta-Binders |
158
click to vote
FPGA
1997
ACM
15 years 10 months ago
1997
ACM
Circuit specialization techniques such as constant propagation are commonly used to reduce both the hardware resources and cycle time of digital circuits. When recon gurable FPGAs...
148
Voted
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
158
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we present a model for simulating the evolution of development together with a method for the analysis of emergence of negative feedback inside the regulatory networ...
124
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
This paper introduces new parsing and context-aware scanning algorithms in which the scanner uses contextual information to disambiguate lexical syntax. The parser uses a slightly...
144
click to vote
APWEB
2006
Springer
15 years 10 months ago
2006
Springer
This paper examines how service providers may resolve the trade-off between their personalization efforts and users' individual privacy concerns. We analyze how negotiation te...