1195 search results - page 17 / 239 » Modeling an Algebraic Stepper |
111
Voted
JUCS
2000
15 years 1 months ago
2000
Abstract: A study of the classes of nite relations as enriched strict monoidal categories is presented in CaS91]. The relations there are interpreted as connections in owchart sche...
110
click to vote
ENTCS
2002
15 years 1 months ago
2002
This paper introduces coalgebraic monads as a unified model of term algebras covering fundamental examples such as initial algebras, final coalgebras, rational terms and term grap...
TIT
2002
15 years 1 months ago
2002
Feedback with carry shift registers (FCSRs) are a class of finite state devices that are similar to linear feedback shift registers (LFSRs) in their simplicity and statistical ran...
101
Voted
ICECCS
2007
IEEE
15 years 5 months ago
2007
IEEE
For many systems, timing aspects are essential. Therefore, when modelling these systems, time should somehow be represented. In the past, many timed process algebras have been dev...
98
Voted
DBPL
2007
Springer
15 years 8 months ago
2007
Springer
Annotated relational databases can be queried either by simply making the annotations explicitly available along the ordinary data, or by adapting the standard query operators so ...