Sciweavers

2520 search results - page 35 / 504
» Alias Types and Effects for
Sort
View
OOPSLA
2005
Springer
14 years 2 months ago
Finding application errors and security flaws using PQL: a program query language
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
Michael C. Martin, V. Benjamin Livshits, Monica S....
PLDI
2003
ACM
14 years 1 months ago
A compiler framework for speculative analysis and optimizations
Speculative execution, such as control speculation and data speculation, is an effective way to improve program performance. Using edge/path profile information or simple heuristi...
Jin Lin, Tong Chen, Wei-Chung Hsu, Pen-Chung Yew, ...
SCAM
2008
IEEE
14 years 2 months ago
Type Highlighting: A Client-Driven Visual Approach for Class Hierarchies Reengineering
Polymorphism and class hierarchies are key to increasing the extensibility of an object-oriented program but also raise challenges for program comprehension. Despite many advances...
Petru Florin Mihancea
ICALT
2007
IEEE
14 years 2 months ago
Finding the Right Tool for the Community: Bringing a Wiki-Type Editor to the World of Reusable Learning Objects
In this paper we present a new approach to enabling pedagogically sound reuse and re-purposing of online learning objects in a community of practice. The lack of specific software...
Chu Wang, Hugh C. Davis, Kate Dickens, Gary Wills,...
APNOMS
2006
Springer
14 years 7 days ago
Parameter Design for Diffusion-Type Autonomous Decentralized Flow Control
We have previously proposed a diffusion-type flow control mechanism as a solution for severely time-sensitive flow control required for high-speed networks. In this mechanism, each...
Chisa Takano, Keita Sugiyama, Masaki Aida