670 search results - page 115 / 134 » Software safety: relating software assurance and software in... |
CASES
2009
ACM
15 years 3 months ago
2009
ACM
Reducing feature sizes and power supply voltage allows integrating more processing units (PUs) on multiprocessor system-on-chip (MPSoC) to satisfy the increasing demands of applic...
118
click to vote
FMICS
2009
Springer
15 years 6 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
DAC
1998
ACM
16 years 21 days ago
1998
ACM
Digital system designs are the product of valuable effort and knowhow. Their embodiments, from software and HDL program down to device-level netlist and mask data, represent caref...
PAIRING
2007
Springer
15 years 5 months ago
2007
Springer
A series of recent algorithmic advances has delivered highly effective methods for pairing evaluation and parameter generation. However, the resulting multitude of options means m...
137
click to vote
RTSS
1992
IEEE
15 years 3 months ago
1992
IEEE
The problem of scheduling a set of sporadic tasks that share a set of serially reusable, single unit software resources on a single processor is considered. The correctness condit...