Sciweavers

352 search results - page 49 / 71
» Evaluating the imprecision of static analysis
Sort
View
PDP
2009
IEEE
16 years 1 months ago
PsycoTrace: Virtual and Transparent Monitoring of a Process Self
PsycoTrace is a set of tools to protect a process P from attacks that alter P self as specified by its source code. P self is specified in terms of legal traces of system calls ...
Fabrizio Baiardi, Dario Maggiari, Daniele Sgandurr...
AINA
2008
IEEE
16 years 20 days ago
Live Network Performance Challenge: FLASH-OFDM vs. HSDPA
HSDPA networks are intensively being deployed to provide mobile broadband connectivity to mobile devices. In addition to HSDPA, FLASH-OFDM is another wireless broadband option ope...
Andres Arjona, Antti Ylä-Jääski, Ju...
DMDW
2001
127views Management» more  DMDW 2001»
15 years 7 months ago
MAC: Conceptual data modeling for OLAP
In this paper we address the issue of conceptual modeling of data used in multidimensional analysis. We view the problem from the end-user point of view and we describe a set of r...
Aris Tsois, Nikos Karayannidis, Timos K. Sellis
MIDDLEWARE
2010
Springer
15 years 4 months ago
Automatically Generating Symbolic Prefetches for Distributed Transactional Memories
Abstract. Developing efficient distributed applications while managing complexity can be challenging. Managing network latency is a key challenge for distributed applications. We ...
Alokika Dash, Brian Demsky
SP
2008
IEEE
119views Security Privacy» more  SP 2008»
16 years 16 days ago
Verifying the Safety of User Pointer Dereferences
Operating systems divide virtual memory addresses into kernel space and user space. The interface of a modern operating system consists of a set of system call procedures that may...
Suhabe Bugrara, Alex Aiken