1410 search results - page 130 / 282 » A Logic for Virtual Memory |
169
click to vote
SIMPRA
2011
14 years 11 months ago
2011
—In the Internet of the future, a flexible, dynamic combination of wireless and wired access networks is expected to be a key driver for enlarging the broadband communication se...
134
click to vote
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...
136
click to vote
EDOC
2008
IEEE
15 years 6 months ago
2008
IEEE
We present an algorithm for the runtime monitoring of business process properties with data parameterization. The properties are expressed in LTL-FO+ , an extension to traditional...
152
click to vote
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
Memory is a scarce resource in many embedded systems. Increasing memory often increases packaging and cooling costs, size, and energy consumption. This paper presents CRAMES, an e...
132
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Arrays are the ubiquitous organization for indexed data. Throughout programming language evolution, implementations have laid out arrays contiguously in memory. This layout is pro...