2255 search results - page 241 / 451 » High Assurance Software Systems |
334
click to vote
CODES
2011
IEEE
14 years 6 months ago
2011
IEEE
The trend towards many-core systems comes with various issues, among them their highly dynamic and non-predictable workloads. Hence, new paradigms for managing resources of many-c...
167
click to vote
ISPASS
2007
IEEE
16 years 25 days ago
2007
IEEE
In this paper, we introduce PTLsim, a cycle accurate full system x86-64 microprocessor simulator and virtual machine. PTLsim models a modern superscalar out of order x86-64 proces...
201
click to vote
ICCD
2002
IEEE
16 years 3 months ago
2002
IEEE
The requirements to system and software development tools brought up by the automotive industry differ from the requirements that other customers have. The important catchwords he...
201
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract--The use of automated guided vehicles (AGVs) in material-handling processes of manufacturing facilities and warehouses isbecomingincreasinglycommon.AcriticaldrawbackofanAG...
179
click to vote
LCTRTS
2001
Springer
15 years 11 months ago
2001
Springer
1 COTS (commercial off-the-shelf) devices are capable of executing powerful, distributed algorithms. Very large, adaptive systems can be created by simply integrating these devices...