9018 search results - page 1170 / 1804 » 3D-Brain Model Software |
159
click to vote
APSEC
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
187
click to vote
CODES
2001
IEEE
15 years 11 months ago
2001
IEEE
Interest in synthesis of Application Specific Instruction Set Processors or ASIPs has increased considerably and a number of methodologies have been proposed for ASIP design. A ke...
195
click to vote
CODES
2001
IEEE
15 years 11 months ago
2001
IEEE
The implementation of embedded networked appliances requires a mix of processor cores and HW accelerators on a single chip. When designing such complex and heterogeneous SoCs, the...
232
Voted
EWSPT
2000
Springer
15 years 11 months ago
2000
Springer
Process support environments (PSEs) are widely used for modelling, enacting and analyzing human intensive processes. The benefits of a PSE become apparent when processes to be supp...
219
click to vote
FSTTCS
2000
Springer
15 years 11 months ago
2000
Springer
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...