3706 search results - page 287 / 742 » KtSeqC: System Description |
194
click to vote
CC
2000
Springer
15 years 11 months ago
2000
Springer
A fast and scalable interprocedural escape analysis algorithm is presented. The analysis computes a description of a subset of created objects whose lifetime is bounded by the life...
179
click to vote
ASPDAC
1999
ACM
15 years 11 months ago
1999
ACM
Abstract Due to the large variety of di erent embedded processor types, retargetable software development tools, such as compilers and simulators, have received attention recently....
134
click to vote
RAS
2000
15 years 6 months ago
2000
In the past decade, a large number of robots has been built that explicitly implement biological navigation behaviours. We review these biomimetic approaches using a framework tha...
142
click to vote
KBS
2002
15 years 6 months ago
2002
In this paper we present an overview of SHAMASH, a process modelling tool for business process reengineering. The main features that differentiate it from most current related too...
167
Voted
MLQ
2002
15 years 6 months ago
2002
We generalize the notion of a monadic algebra to that of a pseudomonadic algebra. In the same way as monadic algebras serve as algebraic models of epistemic modal system S5, pseudo...