Sciweavers

352 search results - page 49 / 71
» Evaluating the imprecision of static analysis
Sort
View
PDP
2009
IEEE
16 years 18 days 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 8 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 4 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