2501 search results - page 360 / 501 » Logics with Rank Operators |
131
click to vote
HICSS
1994
IEEE
15 years 8 months ago
1994
IEEE
In the area of telerobotics, where remote systems are to be controlled, it is helpful to plan subsequent operations based on as much relevant data as possible. The simulation of t...
141
click to vote
FTRTFT
1994
Springer
15 years 8 months ago
1994
Springer
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
135
click to vote
POPL
1994
ACM
15 years 8 months ago
1994
ACM
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...
109
click to vote
ALP
1990
Springer
15 years 8 months ago
1990
Springer
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
148
Voted
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...