11561 search results - page 1973 / 2313 » A Language for Biochemical Systems |
198
click to vote
CASES
2000
ACM
15 years 10 months ago
2000
ACM
This paper introduces the notion of a Flexible Instruction Processor (FIP) for systematic customisation of instruction processor design and implementation. The features of our app...
179
click to vote
COOPIS
1997
IEEE
15 years 10 months ago
1997
IEEE
Workflows are activities involving the coordinated execution of multiple tasks performed by different processing entities, mostly in distributed heterogeneous environments which a...
234
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
165
click to vote
TIC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...
204
click to vote
SMA
1995
ACM
15 years 10 months ago
1995
ACM
We describe a method of constructing a B-rep solid model from a single hidden-line removed sketch view of a 3D object. The main steps of our approach are as follows. The sketch is...