4889 search results - page 549 / 978 » A Refactoring Approach to Parallelism |
181
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
The paper presents a Matlab toolbox for simulation of real-time control systems. The basic idea is to simulate a real-time kernel in parallel with continuous plant dynamics. The t...
164
click to vote
APSEC
1997
IEEE
15 years 11 months ago
1997
IEEE
The problems posed by mission-critical legacy systems - brittleness, inflexibility, isolation, non-extensibility, lack of openness etc. - are well known, but practical solutions h...
187
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
Thanks to their high performance and programmability, the latest graphics cards can now be used for scientific purpose. They are indeed very efficient parallel Single Instruction ...
181
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Productivity data for IC designs indicates an exponential increase in design time and cost with the number of elements that are to be included in a device. Present applications re...
183
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
We show the decidability of model checking PA-processes against several first-order logics based upon the reachability predicate. The main tool for this result is the recognizabil...