1938 search results - page 268 / 388 » Dependable Software |
108
Voted
CASES
2005
ACM
15 years 4 months ago
2005
ACM
Due to resource and power constraints, embedded processors often cannot afford dedicated floating-point units. For instance, the IBM PowerPC processor embedded in Xilinx Virtex-...
110
Voted
ISARCS
2010
15 years 4 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
116
click to vote
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
114
click to vote
EUROSYS
2008
ACM
15 years 4 months ago
2008
ACM
Guaranteed I/O performance is needed for a variety of applications ranging from real-time data collection to desktop multimedia to large-scale scientific simulations. Reservations...
104
click to vote
ICPW
2007
15 years 4 months ago
2007
As more courseware becomes available, choosing the right functionality for a particular e-learning community is becoming more problematic. Systematic methods for evaluating course...