1027 search results - page 137 / 206 » Callgraph properties of executables |
201
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
A cracked database is a datastore continuously reorganized based on operations being executed. For each query, the data of interest is physically reclustered to speed-up future ac...
115
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
g Test Suites via Operational Abstraction Michael Harder Jeff Mellen Michael D. Ernst MIT Lab for Computer Science 200 Technology Square Cambridge, MA 02139 USA {mharder,jeffm,mern...
114
Voted
MOBISYS
2007
ACM
16 years 3 months ago
2007
ACM
Cyber foraging is the transient and opportunistic use of compute servers by mobile devices. The short market life of such devices makes rapid modification of applications for remo...
135
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
120
click to vote
ICCD
2006
IEEE
16 years 23 days ago
2006
IEEE
— The latest development of hardware design and ation methodologies shows a trend towards abstraction levels higher than RTL, referred to as transaction level (TL). Transaction l...