7124 search results - page 815 / 1425 » Programming Languages and Operating Systems |
201
click to vote
DAC
2007
ACM
16 years 8 months ago
2007
ACM
The inherent limitations of embedded systems make them particularly vulnerable to attacks. We have developed a hardware monitor that operates in parallel to the embedded processor...
167
click to vote
FPL
2007
Springer
16 years 1 months ago
2007
Springer
The idea of changing cache attributes to suit an application has been explored for single programs. As the popularity of reconfigurable softcore systems grows and these systems in...
162
click to vote
SIGUCCS
2000
ACM
15 years 11 months ago
2000
ACM
In order to keep on the leading edge of technology and to take advantage of new administrative features, we at University of Wyoming decided to upgrade our Windows NT 4.0 lab syst...
195
click to vote
HYBRID
2010
Springer
16 years 2 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
176
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...