Sciweavers

391 search results - page 51 / 79
» Evaluation of Length-Lex Set Variables
Sort
View
ISPAN
2002
IEEE
14 years 3 months ago
On the Impact of Naming Methods for Heap-Oriented Pointers in C Programs
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
Tong Chen, Jin Lin, Wei-Chung Hsu, Pen-Chung Yew
OOPSLA
2001
Springer
14 years 3 months ago
Points-To Analysis for Java using Annotated Constraints
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
Atanas Rountev, Ana Milanova, Barbara G. Ryder
CAV
2010
Springer
239views Hardware» more  CAV 2010»
14 years 2 months ago
Model Checking of Linearizability of Concurrent List Implementations
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
Pavol Cerný, Arjun Radhakrishna, Damien Zuf...
CEC
2008
IEEE
14 years 23 days ago
Multilevel cooperative coevolution for large scale optimization
In this paper, we propose a multilevel cooperative coevolution (MLCC) framework for large scale optimization problems. The motivation is to improve our previous work on grouping ba...
Zhenyu Yang, Ke Tang, Xin Yao
ICDM
2010
IEEE
115views Data Mining» more  ICDM 2010»
13 years 8 months ago
Polishing the Right Apple: Anytime Classification Also Benefits Data Streams with Constant Arrival Times
Classification of items taken from data streams requires algorithms that operate in time sensitive and computationally constrained environments. Often, the available time for class...
Jin Shieh, Eamonn J. Keogh