3516 search results - page 595 / 704 » Programming Languages: Application and Interpretation |
112
click to vote
ICCAD
1996
IEEE
15 years 9 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
131
click to vote
ICDT
1997
ACM
15 years 9 months ago
1997
ACM
We develop a new schema for unstructured data. Traditional schemas resemble the type systems of programming languages. For unstructured data, however, the underlying type may be mu...
134
Voted
CHI
1992
ACM
15 years 9 months ago
1992
ACM
We describe enhancements to graphical search and replace that allow users to extend the capabilities of a graphical editor. Interactive constraint-based search and replace can sea...
148
Voted
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
176
click to vote
ECBS
2004
IEEE
15 years 8 months ago
2004
IEEE
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...