942 search results - page 75 / 189 » Process Algebraic Non-product-forms |
115
Voted
IANDC
2010
14 years 10 months ago
2010
There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious opera...
114
Voted
PPSC
1989
15 years 1 months ago
1989
The LAPACK software project currently under development is intended to provide a portable linear algebra library for high performance computers. LAPACK will make use of the Level 1...
102
Voted
APN
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
88
Voted
AHS
2007
IEEE
15 years 2 months ago
2007
IEEE
This work describes an algebraic based design strategy targeting area optimization in reconfigurable computer technology (FPGA). Area optimization is a major issue as smaller comp...
105
Voted
COMGEO
2007
ACM
15 years 23 days ago
2007
ACM
In this paper we present a package for implementing exact kinetic data structures built on objects which move along polynomial trajectories. We discuss how the package design was ...