266 search results - page 37 / 54 » Combining Software and Hardware Verification Techniques |
SIGMETRICS
1999
ACM
15 years 6 months ago
1999
ACM
—This paper evaluates techniques for improving operating system and network protocol software support for high-performance World Wide Web servers. We study approaches in three ca...
114
click to vote
ECMDAFA
2005
Springer
15 years 7 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
127
Voted
CF
2007
ACM
15 years 5 months ago
2007
ACM
This paper presents a novel architectural technique to hide fetch latency overhead of hardware encrypted and authenticated memory. A number of recent secure processor designs have...
109
click to vote
OSDI
2002
ACM
16 years 2 months ago
2002
ACM
VMware ESX Server is a thin software layer designed to multiplex hardware resources efficiently among virtual machines running unmodified commodity operating systems. This paper i...
120
click to vote
ACSD
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...