3792 search results - page 675 / 759 » Techniques for Trusted Software Engineering |
116
Voted
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
Aspect oriented programming (AOP), when used well, has many advantages. Aspects are however, programming-time constructs, i.e., they relate to source code. Previously, we develope...
133
click to vote
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
108
Voted
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
111
Voted
ISPASS
2010
IEEE
2010
IEEE
A study of hardware assisted IP over InfiniBand and its impact on enterprise data center performance
15 years 5 months ago
— High-performance sockets implementations such as the Sockets Direct Protocol (SDP) have traditionally showed major performance advantages compared to the TCP/IP stack over Infi...
CGO
2003
IEEE
15 years 5 months ago
2003
IEEE
Predicated execution can eliminate hard to predict branches and help to enable instruction level parallelism. Many current predication variants exist where the result update is co...