Sciweavers

8636 search results - page 1255 / 1728
» How Developers Copy
Sort
View
LICS
2005
IEEE
15 years 12 months ago
A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
Jérôme Leroux
METRICS
2005
IEEE
15 years 12 months ago
Experiences from Conducting Semi-structured Interviews in Empirical Software Engineering Research
Many phenomena related to software development are qualitative in nature. Relevant measures of such phenomena are often collected using semi-structured interviews. Such interviews...
Siw Elisabeth Hove, Bente Anda
METRICS
2005
IEEE
15 years 12 months ago
Software, Performance and Resource Utilisation Metrics for Context-Aware Mobile Applications
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...
Caspar Ryan, Pablo Rossi
184
Voted
MICRO
2005
IEEE
107views Hardware» more  MICRO 2005»
15 years 12 months ago
Stream Programming on General-Purpose Processors
— In this paper we investigate mapping stream programs (i.e., programs written in a streaming style for streaming architectures such as Imagine and Raw) onto a general-purpose CP...
Jayanth Gummaraju, Mendel Rosenblum
MICRO
2005
IEEE
117views Hardware» more  MICRO 2005»
15 years 12 months ago
A Quantum Logic Array Microarchitecture: Scalable Quantum Data Movement and Computation
Recent experimental advances have demonstrated technologies capable of supporting scalable quantum computation. A critical next step is how to put those technologies together into...
Tzvetan S. Metodi, Darshan D. Thaker, Andrew W. Cr...
« Prev « First page 1255 / 1728 Last » Next »