Sciweavers

10707 search results - page 1764 / 2142
» Designing executable abstractions
Sort
View
173
Voted
ICSE
2007
IEEE-ACM
16 years 7 months ago
The Social Dynamics of Pair Programming
This paper presents data from a four month ethnographic study of professional pair programmers from two software development teams. Contrary to the current conception of pair prog...
Jan Chong, Tom Hurlbutt
215
Voted
ICSE
2008
IEEE-ACM
16 years 7 months ago
CCVisu: automatic visual software decomposition
Understanding the structure of large existing (and evolving) software systems is a major challenge for software engineers. In reverse engineering, we aim to compute, for a given s...
Dirk Beyer
ICFP
2005
ACM
16 years 7 months ago
An expressive language of signatures
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...
Norman Ramsey, Kathleen Fisher, Paul Govereau
ICFP
2003
ACM
16 years 7 months ago
Compiler implementation in a formal logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
Jason Hickey, Aleksey Nogin, Adam Granicz
152
Voted
ICDE
2010
IEEE
246views Database» more  ICDE 2010»
16 years 7 months ago
Admission Control Mechanisms for Continuous Queries in the Cloud
Abstract--Amazon, Google, and IBM now sell cloud computing services. We consider the setting of a for-profit business selling data stream monitoring/management services and we inve...
Alexandros Labrinidis, Christine Chung, Kirk Pruhs...
« Prev « First page 1764 / 2142 Last » Next »