12333 search results - page 256 / 2467 » System Level Modelling for Hardware Software Systems |
157
click to vote
HOTSWUP
2009
ACM
15 years 11 months ago
2009
ACM
Year after year, the frequency of updated releases of software continues to increase. Without an automated install process, the result is either that a system installs software wi...
179
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Abstract We demonstrate a SIMD C++ genetic programming system on a single 128 node parallel nVidia GeForce 8800 GTX GPU under RapidMind's GPGPU Linux software by predicting te...
177
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
162
click to vote
JIT
2004
Springer
15 years 12 months ago
2004
Springer
A software development unit called to renew or replace an existing corporate system may face some special problems in an established company with a lot of well-trained behavioral p...
154
click to vote
HOTOS
1999
IEEE
15 years 11 months ago
1999
IEEE
Several operating systems projects revolve around moving functionality above or below the kernel "red line" to increase flexibility or performance. We describe how a gen...