4747 search results - page 444 / 950 » Shuffle Memory System |
158
Voted
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
The application of aspect-oriented programming (AOP) to the embedded operating system domain is still a very controversial topic, as this area demands high performance and small m...
170
click to vote
ASAP
2004
IEEE
15 years 10 months ago
2004
IEEE
We explain how modern programmable logic devices have capabilities that are well suited for them to assume a central role in the implementation of networked systems, now and in th...
201
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...
167
click to vote
HASE
1998
IEEE
15 years 10 months ago
1998
IEEE
In safety-critical systems, certain safety constraints must be satisfied before an operation can be performed. Such constraints typically depend on the state of the system at the ...
135
click to vote
USENIX
2007
15 years 9 months ago
2007
Operating system lockup errors can render a computer unusable by preventing the execution other programs. Watchdog timers can be used to recover from a lockup by resetting the pro...