7681 search results - page 121 / 1537 » Typed Membrane Systems |
136
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code speciļ¬es a deadline for each...
132
click to vote
IWPC
2000
IEEE
15 years 10 months ago
2000
IEEE
ng the Accessor Classification Approach to Detect Abstract Data Types icle presents an approach to identify abstract data types (ADTs) in source code. For each structured type deļ...
131
Voted
SC
2000
ACM
15 years 10 months ago
2000
ACM
CardioWave is a modular system for simulating wavefront conduction in the heart. These simulations may be used to investigate the factors that generate and sustain life-threatenin...
264
click to vote
DAI
1998
Springer
15 years 9 months ago
1998
Springer
A physically based system of interacting polyhedral objects is used to model self-assembly and spontaneous organization of complex structures. The surfaces of the polyhedra in the ...
159
click to vote
JSCIC
2008
15 years 5 months ago
2008
In this paper we shall discuss the numerical simulation of higher order geometric flows by level set methods. Main examples under considerations are surface diffusion and the Will...