3316 search results - page 547 / 664 » Mining Software Engineering Data |
153
click to vote
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
Privacy is gaining importance since more and more data becomes digitalized. There is also a growing interest from the security community because of the existing synergy between se...
137
click to vote
ARCS
2010
Springer
16 years 24 days ago
2010
Springer
Register renaming is a widely used technique to remove false data dependencies in superscalar datapaths. Rename logic consists of a table that holds a physical register mapping for...
191
click to vote
FOSSACS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
154
click to vote
FSEN
2007
Springer
16 years 14 days ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
168
click to vote
ARCS
2005
Springer
15 years 12 months ago
2005
Springer
Bio-inspired communication methodologies promise to enable more scalable self-organizing network infrastructures. Especially in the area of mobile ad hoc sensor networks, such sol...