11213 search results - page 2155 / 2243 » Low-contention data structures |
146
Voted
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
2. Support for User Interaction Source Viewer 3D is a software visualization framework that uses a 3D metaphor to represent software system and analysis data. The 3D representation...
131
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
137
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
We present a technique that improves random test generation by incorporating feedback obtained from executing test inputs as they are created. Our technique builds inputs incremen...
132
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
module is a programming abstraction that simultaneously generalizes -abstractions, records, and mutually recursive definitions. Although various mixin module type systems have bee...
137
Voted
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...